Francisco Javier Esparza Estaun (nacido el 27 de abril de 1964 en Pamplona , España [1] ) es un físico teórico especializado en informática . Es profesor de la Technische Universität München .
Javier Esparza | |
---|---|
Ciudadanía | Español |
Premios |
|
Carrera científica | |
Campos | |
Instituciones | |
Sitio web | www7 |
Biografía
Javier Esparza Estaun se licenció en Ciencias Físicas Teóricas por la Universidad de Zaragoza (1987). Obtuvo su doctorado (PhD) en Ciencias de la Computación (1990, sobre redes de Petri de libre elección) en la misma universidad. [2] [3] Habilitó 1994 en la Universidad de Hildesheim en el tema de despliegues de redes de Petri . [4]
Después de su habilitación, trabajó como profesor asociado en la Technische Universität München (1994-2001). Luego fue sucesivamente catedrático de informática teórica en la Universidad de Edimburgo (2001-2003) y catedrático de fiabilidad y seguridad del software en la Universität Stuttgart (2003-2007). Desde 2007, ocupa la Cátedra de Fundamentos de Fiabilidad del Software y Ciencias de la Computación Teórica, nuevamente en Technische Universität München. [1]
Actividades profesionales
Durante su habilitación y en el período posterior, Javier Esparza se centró en la teoría de la concurrencia y la teoría de las redes de Petri. Hizo importantes contribuciones a la teoría de la estructura de la red de Petri y al enfoque de despliegue, propuesto inicialmente por Kenneth L. McMillan, [5] y es coautor de dos libros sobre estos temas. [6] [7] También ha hecho contribuciones al enfoque de la teoría de autómatas para la verificación de modelos de software , el análisis de programas y la verificación de sistemas de estado infinito. Más recientemente, su trabajo se ha centrado en la verificación de sistemas estocásticos y parametrizados. Ha publicado más de 250 artículos científicos revisados por pares [8] en los campos antes mencionados, así como notas de conferencias sobre un enfoque algorítmico de la teoría de autómatas. [9] Su grupo ha desarrollado múltiples herramientas de verificación de software, como Moped [10] y jMoped, [11] Rabinizer, [12] Strix, [13] y Peregrine. [14] Recibió una subvención avanzada del Consejo Europeo de Investigación en 2018 [15] y ha sido investigador principal de más de 20 proyectos de investigación, la mayoría de ellos colaborativos en un contexto internacional. [1] Con frecuencia ha sido invitado como ponente en conferencias de informática y se ha desempeñado como presidente o miembro de varios comités profesionales de selección, dirección y programas. [1]
Premios y honores
Javier Esparza ha sido galardonado con un doctorado honoris causa en Informática por la Universidad Masaryk de Brno, República Checa, en 2009, [16] y es miembro electo de la Academia Europaea desde 2011. [17] Recibió el Premio CONCUR Test-of Time 2021 por su artículo Análisis de accesibilidad de pushdown autómatas: aplicación a la verificación de modelos (en coautoría con Ahmed Bouajjani y Oded Maler); [18] el premio al mejor artículo por su artículo Análisis parametrizado de redes de Petri de observación inmediata (en coautoría con Mikhail A. Raskin y Chana Weil-Kennedy) en la conferencia de redes de Petri de 2019; [19] varias veces premio a la Mejor Enseñanza en la Technische Universität München; [20] y el Premio de Disertación de la Universidad de Zaragoza (1990). [21]
Referencias
- ^ a b c d "Currículum vitae" (PDF) . Technische Universität München . Consultado el 29 de abril de 2021 .
- ^ "Esparza J., Silva M. (1991) Sobre el análisis y síntesis de sistemas de libre elección. Lecture Notes in Computer Science, vol 483. Springer, Berlin, Heidelberg" . Springer-Verlag . doi : 10.1007 / 3-540-53863-1_28 . Consultado el 29 de abril de 2021 .
- ^ "Citas en Google Scholar" . Google Scholar . Consultado el 29 de abril de 2021 .
- ^ "Verificación de modelos mediante despliegues netos, ciencia de la programación informática, volumen 23, números 2 a 3, diciembre de 1994, páginas 151-195" . Elsevier ScienceDirect . Consultado el 29 de abril de 2021 .
- ^ "Kenneth L. McMillan" . Wordpress . Consultado el 30 de abril de 2021 .
- ^ Jörg Desel y Javier Esparza (1995), Redes de Petri de libre elección , Cambridge Tracts in Theoretical Computer Science, 40 , Cambridge University Press, ISBN 9-780-52101945-3
- ^ Javier Esparza y Keijo Heljanko (2008), Unfoldings – A Partial-Order Approach to Model Checking , EATCS Monographs in Theoretical Computer Science, Springer, ISBN 978-3-540-77425-9
- ^ "Lista de publicaciones DBLP para Javier Esparza" . Bibliografía informática DBLP . Consultado el 26 de abril de 2021 .
- ^ "Un enfoque algorítmico de la teoría de los autómatas" . Technische Universität München . Agosto de 2017.
- ^ "Ciclomotor" . Universität Stuttgart . Consultado el 30 de abril de 2021 .
- ^ "jMoped" . Springer-Verlag . doi : 10.1007 / 978-3-540-31980-1_35 . Consultado el 30 de abril de 2021 .
- ^ "Rabinizer" . Springer-Verlag . doi : 10.1007 / 978-3-642-33386-6_7 . Consultado el 30 de abril de 2021 .
- ^ "Strix" . Technische Universität München . Consultado el 30 de abril de 2021 .
- ^ "Peregrino" . Technische Universität München . Consultado el 30 de abril de 2021 .
- ^ "Proyectos financiados por ERC" . Consejo Europeo de Investigación . Consultado el 26 de abril de 2021 .
- ^ "Javier Esparza – Doctorados honoris causa otorgados por MU" . Universidad de Masaryk . Consultado el 26 de abril de 2021 .
- ^ "Javier Esparza" . Academia Europaea . Consultado el 26 de abril de 2021 .
- ^ "Concur Test of Time Awards" . Sitio web de la conferencia Qonfest . Consultado el 26 de abril de 2021 .
- ^ "Premio al mejor papel Petri Nets" . Sitio web de PaVeS . Consultado el 26 de abril de 2021 .
- ^ "Premio TechInf (Informatik)" . Fachschaft Mathematik, Physik, Informatik der TUM . Consultado el 26 de abril de 2021 .
- ^ "Javier Esparza - Curriculum Vitae" . Academia Europaea . Consultado el 26 de abril de 2021 .
Enlaces externos
- Página oficial de Javier Esparza en la Technische Universität München (Lehrstuhl 7 / Theoretische Informatik)
- Javier Esparza en Google Scholar y en DBLP
- Javier Esparza en la Geneaología Matemática