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

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

Past Students

Dario Cattaruzza
Vijay D'Silva
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