- fesefeldt at cs.rwth-aachen.de
- Room 4210
- +49 241 80 21203
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
If you are interested in writing a Bachelor/Master’s thesis in any of these areas, don’t hesitate to contact me.
I’m currently involved in the following teaching activities: