Daniel Kroening
Papers
1
Total Citations
3
H-Index
1
About
Daniel Kroening is a leading figure in formal verification, automated reasoning, and safe artificial intelligence. His pioneering work on bounded model checking and SAT-based verification, notably through the development of the CBMC (C Bounded Model Checker) tool, has fundamentally advanced how software systems are rigorously analyzed for correctness. With over 10,000 citations across his corpus, his contributions have shaped both theoretical foundations and practical tools for verifying safety-critical systems. More recently, Kroening has extended his expertise to reinforcement learning, addressing the critical challenge of ensuring safety during training—as demonstrated in his 2023 work on safe Bayesian exploration for control policy synthesis. This research bridges formal methods and machine learning, enabling autonomous systems to learn while provably bounding safety violations. His achievements include multiple best paper awards and leadership in major verification competitions, cementing his role as a transformative researcher whose work continues to influence how we build trustworthy, intelligent systems.
Research Focus
Key Achievements
Top Papers
- 1