Daniel Kroening

Daniel Kroening (born 6 November 1975 ) is a German computer scientist, Professor in computer science at the University of Oxford, and Chief Science Officer at the company he co-founded, Diffblue Ltd. He is a fellow of Magdalen College.

Early life Kroening was born in Mainz, Rhineland-Palatinate, Germany. He attended Marie-Therese-Gymnasium, Erlangen, Bavaria from 1986 to 1990 and Rotenbühl Gymnasium, Saarbrücken, Saarland from 1990 to 1995. and a bulletin board system (BBS) software package with Internet access management for small ISPs, which he released under free/open source licenses. In 1992, Kroening joined Handshake e.V., a local non-profit ISP. Since 1996, he was also involved in Handshake's executive management. He finally settled at Oxford University.

Kroening's research has its focus on program and hardware analysis.

He published textbooks on decision procedures and hardware design. a developer tools company using artificial intelligence to write code. He is currently the Chief Science Officer of Diffblue.

Selected publications Hasanbeig, M., Jeppu, N.Y., Abate, A., Melham, T. and Kroening, D., "Deepsynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning". AAAI 2020, Vol. 35, No. 9, pages 7647-7656. 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.