Daniel Kroening

Daniel Kroening (född 6 november 1975) är en tysk datavetare, professor i datavetenskap vid University of Oxford och Chief Science Officer vid företaget som han var med och grundade, Diffblue Ltd. Han är stipendiat vid Magdalen College .

Tidigt liv

Kroening föddes i Mainz, Rheinland-Pfalz, Tyskland. Han gick på Marie-Therese-Gymnasium, Erlangen, Bayern från 1986 till 1990 och Rotenbühl Gymnasium, Saarbrücken, Saarland från 1990 till 1995. Kroenings tidiga arbete under dessa gymnasieår inkluderar implementeringar av dataöverföringsprotokoll och ett programvarupaket för anslagstavla (BBS ) . med Internetåtkomsthantering för små internetleverantörer , som han släppte under fri/öppen källkod-licenser. 1992 gick Kroening med i Handshake eV, en lokal icke-vinstdrivande internetleverantör. Från 1993 var han värd för och drev Handshakes huvudsakliga BBS-system och i slutet av 1994 körde det hans mjukvara. Sedan 1996 var han också involverad i Handshakes verkställande ledning. Efter gymnasiet slutförde Kroening sin obligatoriska samhällstjänst.

Karriär

Vinterterminen 1996 började Kroening studera datavetenskap och ekonomi vid Saarlands universitet . Han tog sitt diplom och doktorsexamen 1999 och 2001. Han var en av de snabbaste studenterna i fakultetens historia, och tog bara fyra och ett halvt år från förstaårsstudent till doktorand.

Efter att ha tagit sin doktorsexamen arbetade Kroening vid Carnegie Mellon University som postdoc innan han började på ETH Zürich som biträdande professor. Han bosatte sig till slut vid Oxford University.

Kroenings forskning har sitt fokus på program- och hårdvaruanalys.

Han publicerade läroböcker om beslutsförfaranden och hårdvarudesign.

Kroenings professionella verksamhet inkluderar att vara kommittémedlem i den ledande programanalyskonferensen CAV .

Inom sitt expertområde fungerade Kroening som konsult för företag som Intel, IBM och Fujitsu. 2016 var han med och grundade Diffblue Ltd, ett utvecklarverktygsföretag som använder artificiell intelligens för att skriva kod. Han är för närvarande Chief Science Officer för Diffblue .

Utvalda publikationer

• Hasanbeig, M., Jeppu, NY, Abate, A., Melham, T. och Kroening, D., "Deepsynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning". AAAI 2020, vol. 35, nr 9, sid 7647-7656.
• Vijay D'Silva, Leopold Haller, Daniel Kroening: Abstrakt konfliktdrivet lärande. POPL 2013: 143-154.
• A Survey of Automated Techniques for Formal Software Verification, D'Silva, Vijay, Kroening, Daniel och Weissenbacher, Georg, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Vol. 27, nr 7, sidorna 1165–1178. juli 2008.
• Beslutsförfaranden — en algoritmisk synvinkel, Kroening, Daniel, Strichman, Ofer, Springer. 2008.
• Verifiering av booleska program med obegränsad trådskapande, Cook, Byron, Kroening, Daniel och Sharygina, Natasha, Theoretical Computer Science (TCS), Vol. 388, sid. 227—242. 2007.

externa länkar

• Privat hemsida (gammal och föråldrad)
• Hemsida för personlig forskning
• Universitetets hemsida
• Daniel Kroening på Mathematics Genealogy Project