Daniel Kröning
Base: UK


Daniel is a professor of Computer Science at the University of Oxford. His specialty is quality assurance in software engineering with applications to information and embedded systems. His research is in program analysis, including malware analysis, model checking, and hardware/software co-verification. He co-authored the standard textbook on Decision Procedures that deals with computational methods for solving decision problems. He has consulted for leading companies such as Intel, IBM and Fujitsu in areas including program analysis.

Prior to joining Oxford, Daniel was an Assistant Professor at ETH Zurich, Switzerland.

He received his doctorate in Computer Science from the University of Saarland, Germany, and was a post-doctoral researcher at Carnegie Mellon University, USA.

Daniel Kroening