Científico informático alemán
Daniel Kroening (nacido el 6 de noviembre de 1975 [1] ) es un científico informático alemán, profesor de informática en la Universidad de Oxford y director científico de la empresa que cofundó, Diffblue Ltd. [2] Es miembro del Magdalen College .
Primeros años de vida
Kroening nació en Maguncia, Renania-Palatinado, Alemania. Asistió al Marie-Therese-Gymnasium, Erlangen, Baviera de 1986 a 1990 y al Rotenbühl Gymnasium, Saarbrücken, Saarland de 1990 a 1995. [1] Los primeros trabajos de Kroening en esos años de secundaria incluyen implementaciones de protocolos de transferencia de datos [3] y un paquete de software de sistema de tablón de anuncios (BBS) con gestión de acceso a Internet para pequeños ISP , que lanzó bajo licencias libres/de código abierto. [4] [5] En 1992, Kroening se unió a Handshake eV, un ISP local sin fines de lucro. [3] Desde 1993, alojó y operó el sistema BBS principal de Handshake y para fines de 1994, estaba ejecutando su software. [6] Desde 1996, también estuvo involucrado en la gestión ejecutiva de Handshake. [1] Después de la secundaria, Kroening completó su servicio comunitario obligatorio.
Carrera
En el semestre de invierno de 1996, Kroening comenzó a estudiar informática y economía en la Universidad del Sarre . [1] Recibió su diploma y doctorado en 1999 y 2001. [2] Fue uno de los estudiantes más rápidos en la historia de la facultad, tardando solo cuatro años y medio desde estudiante de primer año hasta doctorado. [1]
Después de recibir su doctorado, Kroening trabajó en la Universidad Carnegie Mellon como investigador postdoctoral antes de unirse a la ETH de Zúrich como profesor asistente. [7] Finalmente se estableció en la Universidad de Oxford.
La investigación de Kroening se centra en el análisis de programas y hardware. [8]
Publicó libros de texto sobre procedimientos de decisión y diseño de hardware. [8]
Las actividades profesionales de Kroening incluyen ser miembro del comité de la conferencia líder sobre análisis de programas CAV . [8]
En su área de especialización, Kroening trabajó como consultor para empresas como Intel, IBM y Fujitsu. [7] En 2016, cofundó Diffblue Ltd [9], una empresa de herramientas para desarrolladores que utiliza inteligencia artificial para escribir código. [10] [11] Actualmente es el director científico de Diffblue . [12]
Publicaciones seleccionadas
- Hasanbeig, M., Jeppu, NY, Abate, A., Melham, T. y Kroening, D., "Deepsynth: síntesis de autómatas para la segmentación automática de tareas en el aprendizaje por refuerzo profundo". AAAI 2020, vol. 35, n.º 9, páginas 7647-7656.
- Vijay D'Silva, Leopold Haller, Daniel Kroening: Aprendizaje basado en conflictos abstractos. POPL 2013: 143-154.
- Un estudio de 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, No. 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.
Referencias
- ^ abcde Kröning, Daniel. "Verificación formal de microprocesadores segmentados" (PDF) . emis.de. pág. 80.
- ^ ab "Profesor Daniel Kroening | Magdalen College Oxford". Magd.ox.ac.uk . Consultado el 28 de junio de 2017 .
- ^ ab "Daniel Kröning". www.kroening.handshake.de . Consultado el 10 de mayo de 2018 .
- ^ Kroening, Daniel. "Paquete BBS DBOX". www.dbox.handshake.de . Consultado el 10 de mayo de 2018 .
- ^ "DBOX". freshmeat.sourceforge.net . Consultado el 10 de mayo de 2018 .
- ^ Ambos, Andreas. "Chronik des Handshake eV" www.handshake.de . Consultado el 10 de mayo de 2018 .
- ^ ab "VorteQ Consulting - Daniel Kröning". www.vorteqconsulting.com . Archivado desde el original el 1 de julio de 2016 . Consultado el 10 de mayo de 2018 .
- ^ abc "Inicio". kroening.com .
- ^ "Diffblue". www.diffblue.com .
- ^ "Daniel Kroening | HuffPost UK". Huffingtonpost.co.uk. 17 de febrero de 2017. Consultado el 28 de junio de 2017 .
- ^ "Una startup de inteligencia artificial de la Universidad de Oxford ha recaudado 17 millones de libras para comprobar si el código contiene errores". uk.news.yahoo.com . 2 de julio de 2017 . Consultado el 1 de agosto de 2017 .
- ^ "Acerca de nosotros".
Enlaces externos
- Página de inicio privada (antigua y obsoleta)
- Página de inicio de investigación personal
- Página de inicio de la universidad
- Daniel Kroening en el Proyecto de Genealogía Matemática