- 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.
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: