- 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, heap-manipulating and concurrent programs,
- separation logics,
- termination analysis,
- static program analysis, and
- graph-grammars.
Supervision
I am currently supervising the following thesis projects:
- Mohamed Khalifa, Extending a Static Termination Analysis for Heap-Manipulating Programs to Recursion, Master’s Thesis
I have supervised the following thesis projects:
- Fabian Gasser, Analysis of Concurrent Probabilistic Programs with Shared Variables, Bachelor’s Thesis (advised together with Prof. Thomas Noll)
- Marvin Jansen, Decidability and complexity of entailment checking in quantitative separation logic, Master’s Thesis, winner of the CS Department Award 2021 (advised togehter with Kevin Batz and Dr. Christoph Matheja)
- Patrick Arens, Weakest-preexpectation proof rules for disjoint concurrent probabilistic programs, Bachelor’s Thesis
- 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:
- Datenstrukturen und Algorithmen (SS22)
I was involved in the following teaching activities:
Publications
2022 | |
---|---|
![]() ![]() |
Kevin Batz, Ira Justus Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, , Thomas Noll. Foundations for Entailment Checking in Quantitative Separation Logic, 31st European Symposium on Programming (ESOP 2022), Volume 13240 of LNCS, 57-84, Springer, 2022. |
2021 | |
![]() |
Ira Justus Fesefeldt, , Thomas Noll, Johannes Schulte. Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars, 14th International Conference on Graph Transformation (ICGT21), Volume 12741 of LNCS, 283-293, Springer, 2021. |
Show all |