Joost Pieter Katoen
Joost Pieter Katoen | |
|---|---|
 Joost-Pieter Katoen en Logic Lane , Oxford | |
| Ciudadanía | Holandés |
| Alma máter |
|
| Premios |
|
| Carrera científica | |
| Campos |
|
| Instituciones | |
| Sitio web | www-i2.informatik.rwth-aachen.de/~katoen/ |
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 director del Grupo de Modelado y Verificación de Software [2] en la Universidad RWTH de Aachen . Además, está asociado a tiempo parcial al grupo de Métodos y Herramientas Formales de la Universidad de Twente . [3]
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, recibió un Doctorado Profesional en Ingeniería de la Universidad Tecnológica de Eindhoven , y en 1996, recibió su Doctorado en Ciencias de la Computación de la Universidad de Twente. [4]
Investigación
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ística . [5] Su investigación está orientada en gran medida a herramientas y aplicaciones.
Junto con Christel Baier escribió y publicó el libro Principles of Model Checking . [6]
Carrera
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 mantiene un puesto a tiempo parcial. [3] En 2004, fue nombrado profesor titular en la Universidad RWTH de Aquisgrán.
En 2013, Katoen se convirtió en Theodore von Kármán Fellow y profesor distinguido en la Universidad RWTH de Aquisgrán. 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 altamente remunerada ERC Advanced Grant . [9] [10] En 2020, Katoen se convirtió en ACM Fellow y en 2021, fue elegido miembro de la Royal Holland Society of Science and Humanities (KHMW). [11] [12] En 2022, fue elegido miembro de la Academia de Ciencias, Humanidades y Artes de Renania del Norte-Westfalia . [13]
Katoen es miembro fundador del Grupo de Trabajo (GT) 1.8 del IFIP sobre Teoría de la Concurrencia y miembro del GT 2.2 Descripción Formal de los Conceptos de Programación . De 2006 a 2010, participó en el Colegio de Revisión del Consejo Británico de Investigación en Ingeniería y Ciencias Físicas (EPSRC) . Durante 2015-2019 presidió el Comité Directivo de las Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software (ETAPS) . [14] Desde 2020, preside el Comité Directivo de la conferencia TACAS (Herramientas y Algoritmos para la Construcción y Análisis de Sistemas).
Por su compromiso con el equilibrio entre vida laboral y personal, especialmente para jóvenes estudiantes de doctorado con hijos, recibió el Premio FAMOS de la Universidad RWTH de Aachen en 2017. [15]
El trabajo de Katoen ha recibido varios reconocimientos, entre ellos premios al mejor artículo o artículo destacado (por ejemplo, ETAPS 2016, IEEE SRDS 2017, LOPSTR 2020 y POPL 2021). En 2022, recibió el premio CONCUR test-of-time por su artículo CONCUR 1999 y en 2023 el premio Jean-Claude Laprie sobre computación confiable por su artículo de 2003 con Baier, Haverkort y Hermanns sobre la verificación de modelos de cadenas de Markov de tiempo continuo. [16] [17]
Vida personal
Joost-Pieter Katoen nació en Krimpen aan den IJssel en 1964. Está casado y tiene tres hijos. Vive en Maastricht . En su tiempo libre le gusta montar en bicicleta y escuchar música.
Véase también
- Página de inicio de Joost-Pieter Katoen.
- Grupo de Modelado y Verificación de Software.
- Listado de publicaciones en el sitio bibliográfico de informática DBLP.
Referencias
- ^ "Catedráticos distinguidos en la Universidad RWTH de Aquisgrán". Archivado desde el original el 28 de junio de 2018. Consultado el 28 de febrero de 2018 .
- ^ "moves.rwth-aachen.de/people/katoen/" . Consultado el 28 de febrero de 2018 .
- ^ ab "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 de matemáticas
- ^ "Curriculum Vitae" (PDF) . Consultado el 3 de abril de 2018 .
- ^ Baier, Christel; Katoen, Joost-Pieter (2008). Principios de 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 .
- ^ "Comunicado de prensa del Departamento de Ciencias de la Computación de la RWTH" . Consultado el 31 de marzo de 2023 .
- ^ "Nominaciones de la Royal Holland Society of Science and Humanities" . Consultado el 31 de marzo de 2023 .
- ^ "Nuevo miembro de la Academia de Ciencias, Humanidades y Artes de Renania del Norte-Westfalia" . Consultado el 31 de marzo de 2023 .
- ^ "Comité Directivo de ETAPS" . Consultado el 28 de febrero de 2018 .
- ^ "Comunicado de prensa de RWTH sobre el premio FAMOS 2017" . Consultado el 28 de febrero de 2018 .
- ^ "Premio CONCUR Test of Time" . Consultado el 6 de julio de 2023 .
- ^ "Ganadores del Premio Jean-Claude Laprie 2023" . Consultado el 6 de julio de 2023 .
