Authority control databases
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
Daniel Kroening (born 6 November 1975[1]) 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.[2] He is a fellow of Magdalen College.
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.[1] Kroening's early work in those highschool years includes implementations of data transfer protocols[3] and a bulletin board system (BBS) software package with Internet access management for small ISPs, which he released under free/open source licenses.[4][5] In 1992, Kroening joined Handshake e.V., a local non-profit ISP.[3] From 1993, he hosted and operated Handshake's main BBS system and by the end of 1994, it was running his software.[6] Since 1996, he was also involved in Handshake's executive management.[1] After high school, Kroening completed his compulsory community service.
In winter term 1996, Kroening started studying computer science and economics at Saarland University.[1] He received his diploma and doctoral degrees in 1999 and 2001.[2] He was one of the fastest students in the history of the faculty, taking just four and a half years from first year student to doctorate.[1]
After receiving his doctorate, Kroening worked at Carnegie Mellon University as a postdoc before joining ETH Zürich as assistant professor.[7] He finally settled at Oxford University.
Kroening's research has its focus on program and hardware analysis.[8]
He published textbooks on decision procedures and hardware design.[8]
Kroening's professional activities include being a committee member of the leading program analysis conference CAV.[8]
In his area of expertise, Kroening served as a consultant for companies like Intel, IBM and Fujitsu.[7] In 2016 he co-founded Diffblue Ltd[9] a developer tools company using artificial intelligence to write code.[10][11] He is currently the Chief Science Officer of Diffblue.[12]
