Skip to main content

Daniel Kroening

Personal photo - Daniel Kroening

Professor Daniel Kroening

Professor of Computer Science

Non-Tutorial Fellow, Magdalen College

Leaving date: 1st August 2020


I am interested in automated reasoning for hardware and software systems. I am particularily interested in large-scale hard- and software implementations given in languages like C or C++, and systems that make use of concurrent threads of execution.


Doctorate in Computer Science, Saarland University, 2001


Selected Publications

View AllManage publications


Completed Projects

Past Students

Dario Cattaruzza
Vijay D'Silva
John Galea
Leopold Haller
Sean Heelan
Alex Horn
Alexander Kaiser
Pascal Kesseli
David Landsberg
Matt Lewis
Lihao Liang
Rajdeep Mukherjee
Ganesh Narayanaswamy
Daniel Neville
Vincent Nimal
Daniel Poetzl
Marcelo Sousa
Natasha Yogananda Jeppu