Stefan Rieger

Stefan Rieger is an academic affiliated with the Department of Computer Science II at RWTH Aachen University. His primary research focuses on formal verification of pointer programs, graph grammars for heap abstraction, and concurrent programming analysis. He holds a PhD from RWTH Aachen University (2009) and a Diplom (Master's equivalent) in Computer Science from the same institution (2005).

His work emphasizes automated analysis techniques for complex data structures and dynamic memory management in software systems, with notable contributions to model checking and program verification methodologies. Key areas include thread safety in pointer-manipulating programs and optimization of linear code through transformation composition.

Rieger's publications span venues such as the International Conference on Graph Transformations (ICGT) and the International Symposium on Formal Methods (FM). His research has addressed challenges in verifying unbounded heap structures and developing formal methods for multi-threaded systems.

Contact: rieger@informatik.rwth-aachen.de | Office: Room 4206, Ahornstr. 55, Aachen