Ira Fesefeldt

Email
fesefeldt at cs.rwth-aachen.de
Address
Room 4210
Ahornstraße 55
D-52074 Aachen
Phone
+49 241 80 21204

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

Research

My research interests include:

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

Supervision

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

Teaching

I’m currently involved in the following teaching activities:

I was involved in the following teaching activities: