Daniel Kroening - Daniel Kroening
Daniel Kroening (nacido el 6 de noviembre de 1975) es un informático alemán, profesor de informática en la Universidad de Oxford y director científico de la empresa que cofundó, Diffblue Ltd. Es miembro del Magdalen College .
Vida temprana
Kroening nació en Mainz, Renania-Palatinado, Alemania. Asistió a Marie-Therese-Gymnasium, Erlangen, Bavaria de 1986 a 1990 y Rotenbühl Gymnasium, Saarbrücken, Saarland de 1990 a 1995. Los primeros trabajos de Kroening en esos años de secundaria incluyen implementaciones de protocolos de transferencia de datos y un paquete de software BBS con gestión de acceso a Internet para pequeños ISP, que lanzó bajo licencias de código abierto / libre. En 1992, Kroening se unió a Handshake eV, un ISP local sin fines de lucro. Desde 1993, alojó y operó el sistema BBS principal de Handshake y, a finales de 1994, estaba ejecutando su software. Desde 1996, también estuvo involucrado en la dirección ejecutiva de Handshake. Escribía regularmente sobre temas relacionados con la informática en Saarbrücker Zeitung , un periódico local. Después de la secundaria, Kroening completó su servicio comunitario obligatorio.
Carrera profesional
En el trimestre de invierno de 1996, Kroening comenzó a estudiar ciencias de la computación y economía en la Universidad de Saarland . Recibió su diploma y doctorado en 1999 y 2001. Fue uno de los estudiantes más rápidos en la historia de la facultad, tomando solo cuatro años y medio de estudiante de primer año a doctorado. Su pronta graduación recibió la atención de los medios locales.
Después de recibir su doctorado, Kroening trabajó en la Universidad Carnegie Mellon como postdoctorado antes de unirse a ETH Zürich como profesor asistente. Finalmente se instaló en la Universidad de Oxford.
La investigación de Kroening se centra en el análisis de programas y hardware.
Publicó libros de texto sobre procedimientos de decisión y diseño de hardware.
Las actividades profesionales de Kroening incluyen ser miembro del comité de la principal conferencia de análisis de programas CAV .
En su área de especialización, Kroening se desempeñó como consultor para empresas como Intel, IBM y Fujitsu. En 2016 cofundó Diffblue Ltd, una empresa de herramientas de desarrollo que utiliza inteligencia artificial para escribir código. Actualmente es el director científico de Diffblue .
Publicaciones Seleccionadas
- Vijay D'Silva, Leopold Haller, Daniel Kroening: Aprendizaje impulsado por conflictos abstractos. POPL 2013: 143-154
- Una encuesta sobre técnicas automatizadas para la verificación formal de software, D'Silva, Vijay, Kroening, Daniel y Weissenbacher, Georg, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), vol. 27, núm. 7, páginas 1165-1178. Julio de 2008.
- Procedimientos de decisión: un punto de vista algorítmico, Kroening, Daniel, Strichman, Ofer, Springer. 2008.
- Verificación de programas booleanos con creación de subprocesos ilimitados, Cook, Byron, Kroening, Daniel y Sharygina, Natasha, Theoretical Computer Science (TCS), vol. 388, páginas 227-242. 2007.