fbpx
Wikipedia

Daniel Kroening

January 01, 1970

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 edit

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 edit

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 edit

  • 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 edit

  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 . www.vorteqconsulting.com. Archived from the original on 1 July 2016. Retrieved 10 May 2018.
  8. ^ a b c "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".

External links edit

January 01, 1970
daniel, kroening, born, november, 1975, german, computer, scientist, professor, computer, science, university, oxford, chief, science, officer, company, founded, diffblue, fellow, magdalen, college, contents, early, life, career, selected, publications, refere. 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 Contents 1 Early life 2 Career 3 Selected publications 4 References 5 External linksEarly life editKroening was born in Mainz Rhineland Palatinate Germany He attended Marie Therese Gymnasium Erlangen Bavaria from 1986 to 1990 and Rotenbuhl Gymnasium Saarbrucken 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 editIn 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 Zurich 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 editHasanbeig 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 edit a b c d e Kroning Daniel Formal Verification of Pipelined Microprocessors PDF emis de p 80 a b Professor Daniel Kroening Magdalen College Oxford Magd ox ac uk Retrieved 28 June 2017 a b Daniel Kroning www kroening handshake de Retrieved 10 May 2018 Kroening Daniel DBOX BBS Package www dbox handshake de Retrieved 10 May 2018 DBOX freshmeat sourceforge net Retrieved 10 May 2018 Both Andreas Chronik des Handshake e V www handshake de Retrieved 10 May 2018 a b VorteQ Consulting Daniel Kroning www vorteqconsulting com Archived from the original on 1 July 2016 Retrieved 10 May 2018 a b c Home kroening com Diffblue www diffblue com Daniel Kroening HuffPost UK Huffingtonpost co uk 17 February 2017 Retrieved 28 June 2017 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 About Us External links editPrivate home page ancient and outdated Personal research home page University home page Daniel Kroening at the Mathematics Genealogy Project Retrieved from https en wikipedia org w index php title Daniel Kroening amp oldid 1179941966, wikipedia, wiki, book, books, library,

article

, read, download, free, free download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, picture, music, song, movie, book, game, games.