Daniel Kroening
De Wikipedia, la enciclopedia libre
Saltar a navegación Saltar a búsqueda

Daniel Kroening (nacido el 6 de noviembre de 1975 [1] ) 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. [2] Es miembro de Magdalen College .

Vida temprana

Kroening nació en Mainz, Renania-Palatinado, Alemania. Asistió al Marie-Therese-Gymnasium, Erlangen, Bavaria 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 software BBS paquete con administración de acceso a Internet para pequeños ISP, que lanzó bajo licencias de código abierto / gratuito. [4] [5] En 1992, Kroening se unió a Handshake eV, un ISP local sin fines de lucro. [3] Desde 1993, hospedó y operó el sistema BBS principal de Handshake y, a finales de 1994, estaba ejecutando su software. [6] Desde 1996, también estuvo involucrado en la dirección ejecutiva de Handshake.[1] Escribía regularmente sobre temas relacionados con la informática en Saarbrücker Zeitung , un periódico local. [ cita requerida ] 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 . [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, tomando solo cuatro años y medio de estudiante de primer año a doctorado. [1] 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. [7] Finalmente se instaló 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 principal conferencia de análisis de programas CAV . [8]

En su área de especialización, Kroening se desempeñó como consultor para empresas como Intel, IBM y Fujitsu. [7] En 2016 cofundó Diffblue Ltd [9], una empresa de herramientas de desarrollo que utiliza inteligencia artificial para escribir código. [10] [11] Actualmente es el director científico de Diffblue . [12]

Publicaciones Seleccionadas

  • Vijay D'Silva, Leopold Haller, Daniel Kroening: Aprendizaje impulsado por conflictos abstractos. POPL 2013: 143-154
  • 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, 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.

Referencias

  1. ^ a b c d e Kröning, Daniel. "Verificación formal de microprocesadores canalizados" (PDF) . emis.de. pag. 80.
  2. ^ a b "Profesor Daniel Kroening | Magdalen College Oxford" . Magd.ox.ac.uk . Consultado el 28 de junio de 2017 .
  3. ^ a b "Daniel Kröning" . www.kroening.handshake.de . Consultado el 10 de mayo de 2018 .
  4. ^ Kroening, Daniel. "Paquete DBOX BBS" . 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. ^ a b "VorteQ Consulting - Daniel Kröning" . www.vorteqconsulting.com . Consultado el 10 de mayo de 2018 .
  8. ^ a b c https://www.kroening.com/
  9. ^ "Diffblue" . www.diffblue.com .
  10. ^ "Daniel Kroening | HuffPost Reino Unido" . Huffingtonpost.co.uk. 17 de febrero de 2017 . Consultado el 28 de junio de 2017 .
  11. ^ "Una puesta en marcha de inteligencia artificial de la Universidad de Oxford ha recaudado £ 17 millones para comprobar el código en busca de errores" . uk.news.yahoo.com . Consultado el 1 de agosto de 2017 .
  12. ^ https://www.diffblue.com/about-us

enlaces externos

  • Página de inicio privada (antigua y desactualizada)
  • Página de inicio de investigación personal
  • Página de inicio de la universidad
Obtenido de " https://en.wikipedia.org/w/index.php?title=Daniel_Kroening&oldid=1027532380 "
Contribute a better translation