Department of Computer Science
Computer Systems Institute
ETH Zürich

Daniel Kröning
Assistant Professor

Computersystems
Computer Science
ETH Zentrum, RZ H14
Clausiusstrasse 59
CH-8092 Zürich

+41 44 632 7489
+41 44 632 1307 (FAX)

Teaching

Spring 2009

• 252-0014-00 Digitaltechnik

Fall 2007

• 251-0247-00 Formal Verification
• 251-0207-00 Seminar Digitaltechnik und Rechnerarchitektur
• 251-0276-00 Software Engineering Seminar

News

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

News: I am looking to hire PhD (DPhil) students and PostDocs at Oxford University. The description of the post is here.

Research

I am interested in formal methods for the correct construction of hardware and software systems. This includes compositional reasoning, and automated methods for checking compliance of an implementation with a specification.

I am particularily interested in applying these methods to practical hard- and software implementations given in languages like C or C++.

Recent Publications

• Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
• Approximating Predicate Images for Bit-Vector Logic
• Counterexamples with Loops for Predicate Abstraction
• Verification of Boolean Programs with Unbounded Thread Creation
• Deciding Bit-Vector Arithmetic with Abstraction
• A Survey of Automated Techniques for Formal Software Verification