Jump to content

Daniel Kroening

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Simeon (talk | contribs) at 08:51, 25 January 2021 (Adding short description: "German computer scientist" (Shortdesc helper)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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 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] He regularly wrote on computer-related topics in Saarbrücker Zeitung, a local newspaper.[citation needed] 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] His prompt graduation received attention of the local media.

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

  • 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. ^ a b c d e Kröning, Daniel. "Formal Verification of Pipelined Microprocessors" (PDF). emis.de. p. 80.
  2. ^ a b "Professor Daniel Kroening | Magdalen College Oxford". Magd.ox.ac.uk. Retrieved 28 June 2017.
  3. ^ a b "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. ^ a b "VorteQ Consulting - Daniel Kröning". www.vorteqconsulting.com. Retrieved 10 May 2018.
  8. ^ a b c https://www.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. Retrieved 1 August 2017.
  12. ^ https://www.diffblue.com/about-us
Retrieved from "https://en.wikipedia.org/w/index.php?title=Daniel_Kroening&oldid=1002623311"