stringtranslate.com

Daniel Kroening

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

Referencias

  1. ^ abcde Kröning, Daniel. "Verificación formal de microprocesadores segmentados" (PDF) . emis.de. pág. 80.
  2. ^ ab "Profesor Daniel Kroening | Magdalen College Oxford". Magd.ox.ac.uk . Consultado el 28 de junio de 2017 .
  3. ^ ab "Daniel Kröning". www.kroening.handshake.de . Consultado el 10 de mayo de 2018 .
  4. ^ Kroening, Daniel. "Paquete BBS DBOX". www.dbox.handshake.de . Consultado el 10 de mayo de 2018 .
  5. ^ "DBOX". freshmeat.sourceforge.net . Consultado el 10 de mayo de 2018 .
  6. ^ Ambos, Andreas. "Chronik des Handshake eV" www.handshake.de . Consultado el 10 de mayo de 2018 .
  7. ^ 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 .
  8. ^ abc "Inicio". kroening.com .
  9. ^ "Diffblue". www.diffblue.com .
  10. ^ "Daniel Kroening | HuffPost UK". Huffingtonpost.co.uk. 17 de febrero de 2017. Consultado el 28 de junio de 2017 .
  11. ^ "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 .
  12. ^ "Acerca de nosotros".

Enlaces externos