Ira Fesefeldt

fesefeldt at
Room 4210
Ahornstra├če 55
D-52074 Aachen
+49 241 80 21204

I am a PhD student in the Software Modeling and Verification Group headed by Professor J.-P. Katoen.


My research interests include:

  • formal verification of probabilistic, heap-manipulating and concurrent programs,
  • separation logics,
  • termination analysis,
  • static program analysis, and
  • graph-grammars.


I am currently supervising the following thesis projects:

  • Mohamed Khalifa, Extending a Static Termination Analysis for Heap-Manipulating Programs to Recursion, Master’s Thesis

I have supervised the following thesis projects:

  • Fabian Gasser, Analysis of Concurrent Probabilistic Programs with Shared Variables, Bachelor’s Thesis (advised together with Prof. Thomas Noll)
  • Marvin Jansen, Decidability and complexity of entailment checking in quantitative separation logic, Master’s Thesis, winner of the CS Department Award 2021 (advised togehter with Kevin Batz and Dr. Christoph Matheja)
  • Patrick Arens, Weakest-preexpectation proof rules for disjoint concurrent probabilistic programs, Bachelor’s Thesis
  • Mohamed Khalifa, Implementation of a predicate-guided termination analysis for pointer programs, Bachelor’s Thesis


I’m currently involved in the following teaching activities:

  • Datenstrukturen und Algorithmen (SS22)

I was involved in the following teaching activities: