Contact
| Tel | +49 681 302-57520 | |
| Address | Saarland Informatics Campus Building E1 3 66123 Saarbrücken Germany | |
| Room | 408 | |
| Assistant | Sandra Neumann | |
     |
Sebastian Hack
Two PhD / PostDoc Positions in Compilers & Formal Methods
We are looking for two motivated PhD students / Post-Docs. Our research revolves around modern highly-optimizing compilers for domain-specific languages and heterogeneous hardware and making them more principled by formal verification using SMT solvers and interactive theorem provers.
Candidates should be excited about compilers and formal methods and should have a solid background in at least one of the two. If that applies to you, just reach out.
Get in touch:
Short CV
Sebastian Hack is a full professor of computer science at Saarland University since 2010. He is interested in compiler construction, especially domain-specific languages, program analysis and synthesis, code generation, and vectorization. From 2008-2010, he was an assistant professor at Saarland University. Before, he was a Post-Doc at EPFL, Switzerland in the LAMP lab and a Post-Doc with INRIA at ENS Lyon, France in the COMPSYS project. He earned his PhD in 2006 from Karlsruhe University, Germany and his Diploma degree also from Karlsruhe University in 2004.
From 2012 to 2014 he served as the dean of study affairs, and from 2018 to 2020 as the dean of the department of mathematics and computer science of Saarland University.
Publications
A list of my publications on DBLP.
Teaching
In the Summer 2026, I offer the following courses:- Basic Course
- Seminar
- Program Synthesis and Compilers
- Group Seminar
Misc
Some information for students on
Recent Professional Activities
- 2027
- POPL
- 2026
- CGO
- 2025
- CGO
- 2024
- OOPSLA
- 2022
- CGO
- 2021
- PLDI
- 2020
- CC ICPP
- 2019
- CGO
- 2018
- WPMVP CC PLDI
- 2017
- CC
- 2016
- CGO PPoPP DATE
- 2015
- IWOCL SC DATE CC
- 2014
- WPMVP
- 2013
- SC IWOCL LCTES IMPACT
- 2012
- DAC ESOP
- 2011
- PPPJ CC
Software
Here's some software, I have been involved in. Mostly in the earlier days of my career.