Daniel Kröning

News

NEW: The Chinese edition of the 2nd edition of the MIT Press Model Checking book is now available!

Research

I work on the Neuron ML Compilers, for accelerating training with Trainium, and inference with Inferentia.

I am hiring!

Books

Get the 2nd edition!

Selected Papers

• Neural Model Checking
• 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 full list of my papers is available here.

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