Daniel Kröning

News

MIT Press is now shipping the 2nd edition of the Model Checking book!

Research

I am interested in automated reasoning tech­niques for auto­mating the develop­ment of soft­ware. I am par­ticu­larly interested in generative AI for code, and applying these methods to AI-enabled components, and DNNs specifically.

Books

Decision Procedures Model Checking
Get the 2nd edition!

Selected Papers

A full list of my papers is available here.

Service

Teaching

At CMU:

At ETH:

In Oxford: