Daniel Kröning

News

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

Research

I am interested in automated reasoning techniques for automating the development of software. I am particularly interested in applying these methods to AI-enabled components, and DNNs specifically.

Selected Papers

A full list of my papers is available here.

• Ranking Policy Decisions
• DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
• Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance
• Structural Test Coverage Criteria for Deep Neural Networks
• Concolic Testing for Deep Neural Networks
• Heap Layout Optimisation for Exploitation
• Model Checking Boot Code from AWS Data Centers
• A Tool for Checking ANSI-C Programs

Service

• Member of the steering committee of CAV.

• Co-Chair of FLOC 2018.

Teaching

At CMU:

• 15-820A: Theorem Proving and Model Checking in PVS (Spring 2003)
• 17-651A: Models of Software Systems (Fall 2003)

At ETH:

• 251-0247-00 Formal Verification
• 251-0207-00 Seminar Digitaltechnik und Rechnerarchitektur
• 251-0211-00 Spezifikation und Verifikation objektorientierter Software
• 252-0014-00 Digitaltechnik
• 251-0276-00 Software Engineering Seminar

In Oxford:

• Object Oriented Design
• Software Verification
• Computer-Aided Formal Verification
• Computer Architecture
• Design and Analysis of Algorithms