Sebastian Wolff
PhD Student, M.Sc. in Computer Science
| Email: | sebastian.wolff@tu-braunschweig.de |
| 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 Germany |
| Misc: |
List of Publications DBLP, GitHub, LinkedIn |
POPL'20 slides: .keynote .keynote (short) .pdf
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.
Tools
So far I have developed the following model checkers:
- RocketScience: a tool check recursive integer programs for assertion errors.
- TMRexp: a static analysis tool for proving linearisability of concurrent, lock-free stacks and queues. This tool is under active development and used as demo for our papers.