Dennis Sprokholt

About
I am a Postdoctoral Researcher in the Systems Research Group at TU Munich, hosted by Prof. Pramod Bhatotia, where I lead the Formally Verified Systems Group. My research topics include semantics and formal verification of computer systems. My current project involves superoptimization.
During my PhD in Computer Science at the TU Delft Programming Languages Group, supervised by Soham Chakraborty, I verified the translation of concurrent programs between weak memory model architectures.
News
- I will defend my PhD on Friday December 12th 2025
- I joined TU Munich as Humboldt Research Fellow
Publications
* = co-lead authorshipService
| ASPLOS'24 | AEC (spring / summer / fall / fall-2) |
Personal Info
Feel free to address me as "Dennis". On academic documents, refer to me as"Dennis G. Sprokholt". My pronouns are he/him. I speak English and Dutch.