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 and heap-manipulating programs,
  • termination analysis,
  • static program analysis, and
  • graph-grammars.


I am currently supervising the following thesis projects:

  • Giang Lai, Designing and implementing a graph grammar to model the peano arithmetic, Bachelor’s Thesis
  • Mohamed Khalifa, Extending a Static Termination Analysis for Heap-Manipulating Programs to Recursion, Master’s Thesis
  • Patrick Arens, Extending and applying weakest-preexpectation to (disjoint) concurrent probabilistic progams, Bachelor’s Thesis

I have supervised the following thesis projects:

  • Mohamed Khalifa, Implementation of a predicate-guided termination analysis for pointer programs, Bachelor’s Thesis


I’m currently involved in the following teaching activities:

I was involved in the following teaching activities: