Institute of

Theoretical Computer Science


Technische Universität Braunschweig

Sebastian Wolff

PhD Student, M.Sc. in Computer Science

Phone: (+49) 0531 391 9532
Office:   3rd floor, office 342, Informatikzentrum
Mühlenpfordtstraße 23, 38106 Braunschweig, (map).
Mail: Sebastian Wolff
If Theor. Informatik
Mühlenpfordtstr. 23
D-38106 Braunschweig
Misc: 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: