PhD Student, M.Sc. in Computer Science
|Phone:||(+49) 0531 391 9532|
3rd floor, office 342, Informatikzentrum
Mühlenpfordtstraße 23, 38106 Braunschweig, (map).
If Theor. Informatik
List of Publications
DBLP, GitHub, LinkedIn
Since September 2015 I am a PhD student at the Institute for Theoretical Computer Science (TCS; former Concurrency Theory Group at the University of Kaiserslautern). From 2015 to 2016 I was concurrently affiliated with the Competence Center High Performance Computing at Fraunhofer ITWM. Before, I studied Computer Science at the University of Kaiserslautern.
My research interest lies in the verification of highly concurrent data structures. In particular, I am interested in lock-free data structures and their fully automated verification.
So far I have developed the following model checkers:
- RocketScience: a tool that checks recursive integer programs for assertion errors.
- TMRexp: a static analysis tool for proving linearizability of concurrent, lock-free stacks and queues. This is the first tool to verify lock-free data structures with safe memory reclamation (hazard pointers and epoch-based reclamation).
- SEAL: model check for lock-free data structures with safe memory reclamation. This tool uses a type system to establish that memory is properly managed, allowing for the verification to be done under garbage collection semantics using an existing, off-the-shelf verifier.