Foto

Daniel Kröning


NEWS

Decision Procedures
An Algorithmic Point of View
Digitaltechnik
Eine praxisnahe Einführung

News: I am looking to hire PhD (DPhil) students at Oxford University.
The description of the post is here. I am also looking for PostDocs (RAs) in systems design and/or verification.

Read the proposal for a theory for lists/sets/maps for the SMT-Lib.


SOFTWARE VERIFICATION


HARDWARE VERIFICATION


SELECTED PAPERS


TEACHING

At CMU: At ETH: In Oxford:
MISC