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 automatic methods for quality assurance of 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

Past Postdoc