Daniel Kroening
Daniel Kroening is a German computer scientist, professor in computer science at the University of Oxford.[1]
Kroening received and master's and PhD degrees in computer science from the Saarland University, Saarbruecken, Germany, in 1999 and 2001.[1]
Kroening is the CEO of DiffBlue, an artificial intelligence company.[2][3]
Selected publications
- Vijay D’Silva, Leopold Haller, Daniel Kroening: Abstract conflict driven learning. POPL 2013: 143-154
- A Survey of Automated Techniques for Formal Software Verification, D’Silva, Vijay, Kroening, Daniel and Weissenbacher, Georg, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Vol. 27, No. 7, pages 1165–1178. July 2008.
- Decision Procedures — an Algorithmic Point of View, Kroening, Daniel, Strichman, Ofer, Springer. 2008.
- Verification of Boolean Programs with Unbounded Thread Creation, Cook, Byron, Kroening, Daniel and Sharygina, Natasha, Theoretical Computer Science (TCS), Vol. 388, pages 227—242. 2007.
References
- 1 2 "Professor Daniel Kroening | Magdalen College Oxford". Magd.ox.ac.uk. Retrieved 28 June 2017.
- ↑ "Daniel Kroening | HuffPost UK". Huffingtonpost.co.uk. 1 January 1970. Retrieved 28 June 2017.
- ↑ "An Oxford University artificial intelligence startup has raised £17 million to check code for errors". uk.news.yahoo.com. Retrieved 1 August 2017.
This article is issued from
Wikipedia.
The text is licensed under Creative Commons - Attribution - Sharealike.
Additional terms may apply for the media files.