Ira Fesefeldt

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

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.

If you are interested in writing a Bachelor/Master’s thesis in any of these areas, don’t hesitate to contact me.

Teaching

I’m currently involved in the following teaching activities:

  • TBA