Joost-Pieter Katoen (nacido el 6 de octubre de 1964) es un informático teórico holandés afincado en Alemania. Es profesor distinguido [1] en Ciencias de la Computación y jefe del Grupo de Verificación y Modelado de Software [2] en la Universidad RWTH Aachen . Además, está asociado a tiempo parcial al grupo de Herramientas y Métodos Formales de la Universidad de Twente . [3]
Joost-Pieter Katoen | |
---|---|
Ciudadanía | holandés |
alma mater |
|
Premios |
|
Carrera científica | |
Campos |
|
Instituciones |
|
Sitio web | www-i2 |
Educación
Katoen recibió su maestría con distinción en Ciencias de la Computación de la Universidad de Twente en 1987. En 1990, obtuvo un Doctorado Profesional en Ingeniería de la Universidad Tecnológica de Eindhoven , y en 1996, recibió su Ph.D. en Ciencias de la Computación de la Universidad de Twente. [4]
Investigar
Los principales intereses de investigación de Katoen son los métodos formales , la verificación asistida por computadora , en particular la verificación de modelos , la teoría de la concurrencia y la semántica , en particular la semántica de los lenguajes de programación probabilísticos . [5] Su investigación está orientada principalmente a herramientas y aplicaciones.
Junto con Christel Baier , escribió y publicó el libro Principles of Model Checking . [6]
Carrera profesional
De 1997 a 1999, Katoen fue investigador postdoctoral en la Universidad de Erlangen-Nuremberg . En 1999, se convirtió en profesor asociado en la Universidad de Twente, donde todavía ocupa un puesto a tiempo parcial. [3] En 2004, fue nombrado profesor titular en la Universidad RWTH Aachen.
En 2013, Katoen se convirtió en Theodore von Kármán Fellow y Distinguished Professor en RWTH Aachen University. También en 2013, fue elegido miembro de la Academia Europaea . [7] En 2017, recibió un doctorado honorario de la Universidad de Aalborg . [8] En 2018, Katoen recibió la subvención avanzada ERC altamente remunerada . [9] [10]
Katoen es miembro fundador del IFIP Working Group (WG) 1.8 sobre teoría de la concurrencia y miembro del WG 2.2 Descripción formal de conceptos de programación . De 2006 a 2010, participó en el Review College of the British Engineering and Physical Sciences Research Council (EPSRC) . Desde 2015, es presidente del Comité Directivo de las Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software (ETAPS) . [11]
Por su compromiso con el equilibrio entre el trabajo y la vida privada, especialmente para los jóvenes Ph.D. estudiantes con niños, fue galardonado con el Premio FAMOS de la Universidad RWTH Aachen en 2017. [12]
Vida personal
Joost-Pieter Katoen nació en Krimpen aan den IJssel en 1964. Katoen está casado y tiene tres hijos. Vive en Maastricht. En su tiempo privado, le gusta andar en bicicleta y escuchar música.
Ver también
- Página de inicio de Joost-Pieter Katoen .
- Grupo de Verificación y Modelado de Software .
- Lista de publicaciones en el sitio de bibliografía informática DBLP .
Referencias
- ^ "Cátedras distinguidas en la Universidad RWTH Aachen" . Archivado desde el original el 28 de junio de 2018 . Consultado el 28 de febrero de 2018 .
- ^ "move.rwth-aachen.de/people/katoen/" . Consultado el 28 de febrero de 2018 .
- ^ a b "FMT Group Twente" . Archivado desde el original el 5 de marzo de 2018 . Consultado el 28 de febrero de 2018 .
- ^ Joost-Pieter Katoen en el Proyecto de genealogía matemática
- ^ "Curriculum Vitae" (PDF) . Consultado el 3 de abril de 2018 .
- ^ Baier, Christel; Katoen, Joost-Pieter (2008). Principios de la verificación de modelos . Cambridge, Mass: The MIT Press. ISBN 978-0-262-02649-9.
- ^ "Joost-Pieter Katoen en la Academia Europaea" . Consultado el 28 de febrero de 2018 .
- ^ "Comunicado de prensa sobre el doctorado honoris causa de Joost-Pieter Katoen" . Consultado el 28 de febrero de 2018 .
- ^ "Comunicado de prensa de RWTH Aachen" . Consultado el 6 de mayo de 2018 .
- ^ "Comunicado de prensa de la Universidad de Twente" . Consultado el 6 de mayo de 2018 .
- ^ "Comité de Dirección de ETAPS" . Consultado el 28 de febrero de 2018 .
- ^ "Nota de prensa de RWTH sobre el premio FAMOS 2017" . Consultado el 28 de febrero de 2018 .