[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.
In winter term 1996, Kroening started studying computer science and economics at Saarland University.
[1] After receiving his doctorate, Kroening worked at Carnegie Mellon University as a postdoc before joining ETH Zürich as assistant professor.
[8] Kroening's professional activities include being a committee member of the leading program analysis conference CAV.
[7] In 2016 he co-founded Diffblue Ltd[9] a developer tools company using artificial intelligence to write code.