Email: t.haas@tu-bs.de
Office: Informatikzentrum, 3rd floor, office 343 (IZ 343),
Mühlenpfordtstr. 23, D-38106 Braunschweig
Mail: Thomas Haas
Institut für Theoretische Informatik
Mühlenpfordtstr. 23
D-38106 Braunschweig
Germany
Since October 2019 I am a PhD student at the Institute of Theoretical Computer Science in Braunschweig.
I graduated from Technische Universität Braunschweig in 2019.
My current research interest is all around verification under weak memory consistency with a special focus on bounded model checking. I am the main developer of the state-of-the-art verifier Dartagnan.
I also supervised various seminars and bachelor's and master's theses.
I attended and reviewed for many conferences. Here are the most important one's.
OOPSLA 2024 (Artifact Evaluation Committee, Distinguished Artifact Reviewer)
SV-COMP 2024 (2x Gold Medal Winner with Dartagnan)
OOPSLA 2023 (Paper Author)
FDL 2023 (Invited Tutorial Speaker)
OOPSLA 2022 (Distinguished Paper Author)
I did research at the ERATO Project in Tokyo, Japan.