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.

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.[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.

Career

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]

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.

References

  1. 1 2 3 4 5 Kröning, Daniel. "Formal Verification of Pipelined Microprocessors" (PDF). emis.de. p. 80.
  2. 1 2 "Professor Daniel Kroening | Magdalen College Oxford". Magd.ox.ac.uk. Retrieved 28 June 2017.
  3. 1 2 "Daniel Kröning". www.kroening.handshake.de. Retrieved 10 May 2018.
  4. ↑ Kroening, Daniel. "DBOX BBS Package". www.dbox.handshake.de. Retrieved 10 May 2018.
  5. ↑ "DBOX". freshmeat.sourceforge.net. Retrieved 10 May 2018.
  6. ↑ Both, Andreas. "Chronik des Handshake e.V." www.handshake.de. Retrieved 10 May 2018.
  7. 1 2 "VorteQ Consulting - Daniel Kröning". www.vorteqconsulting.com. Archived from the original on 1 July 2016. Retrieved 10 May 2018.
  8. 1 2 3 "Home". kroening.com.
  9. ↑ "Diffblue". www.diffblue.com.
  10. ↑ "Daniel Kroening | HuffPost UK". Huffingtonpost.co.uk. 17 February 2017. Retrieved 28 June 2017.
  11. ↑ "An Oxford University artificial intelligence startup has raised £17 million to check code for errors". uk.news.yahoo.com. 2 July 2017. Retrieved 1 August 2017.
  12. ↑ "About Us".
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.