I'm a static analysis scientist at SonarSource in Bochum.
Before being a SonarSourcer, I was a researcher in the Safety and Security group at fortiss in Munich during 2020-2022, and a Humboldt postdoctoral research fellow at LMU Munich during 2017-2020. I obtained my Ph.D. degree at the University of Birmingham in 2015. My Ph.D. supervisor is Prof. Martín Hötzel Escardó .
My current work focuses on formal methods (static analysis, runtime verification, etc.) for improving software quality. My research interests include type theory, constructive mathematics, program extraction from proofs, many other things.