Skip to main content

Daniel Kroening

Personal photo - Daniel Kroening

Professor Daniel Kroening

Professor of Computer Science

Non-Tutorial Fellow, Magdalen College

E: kroening@cs.ox.ac.uk

Interests

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.

Biography

Doctorate in Computer Science, Saarland University, 2001

Roles

See also

Selected Publications

View AllManage publications

Activities

Projects

Completed Projects

Current Students

Past Students

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

Past Postdoc

Georg Weissenbacher