In January 2025, I started working full-time as a self-employed software engineer and consultant through my company, Silitics, which specializes in robust software solutions for embedded systems.
From April 2019 to November 2024, I was a Ph.D. student at the Chair of Prof. Holger Hermanns. My dissertation, Provably Accurate Verdictors: Foundations and Applications, presents a unifying, general framework for fault diagnosis, runtime verification, and configuration monitoring. It emphasizes provable guarantees while addressing observational imperfections, such as timing imprecisions.
Publications
For a full list of publications, check out my Google Scholar profile.
Contact
For up-to-date contact information, go and have a look at my personal website.
Mails always reach me via academia@koehlma.de, no matter where I’m going!