Lukas Bulwahn

Papers

Total Citations

H-Index

About

Lukas Bulwahn is a researcher whose work sits at the intersection of formal verification and autonomous systems. His primary research areas include formal methods, automated reasoning, and the verification of safety-critical systems, with a particular focus on autonomous vehicles. Bulwahn’s major contribution lies in organizing and advancing the dialogue around formal verification for autonomous driving, a field where ensuring correctness is paramount. Notably, he served as editor for the *Proceedings First Workshop on Formal Verification of Autonomous Vehicles* (2017), which brought together leading researchers to address the unique challenges of verifying autonomous systems. This workshop, affiliated with iFM 2017, has garnered 5 citations, reflecting its role as a foundational reference in this emerging domain. Beyond this, Bulwahn is recognized for his technical contributions to the Isabelle proof assistant, where he has developed tools and libraries that enable rigorous verification of software and hardware. His work bridges theoretical rigor with practical application, making him a key figure in the push toward safe, formally verified autonomous technologies. For students and researchers, Bulwahn exemplifies how formal methods can tackle real-world engineering challenges.