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) and 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: