Egon Börger (nacido el 13 de mayo de 1946 [2] ) es un informático de origen alemán que vive en Italia .
Egon Börger | |
---|---|
![]() | |
Nació | 13 de mayo de 1946 (edad | 75)
Nacionalidad | alemán |
alma mater | Sorbonne Université Catholique de Louvain Universidad de Münster |
Conocido por | Máquinas de estado abstracto |
Premios | Premio de Investigación Humboldt (2007) |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de pisa |
Tesis | Reduktionstypen en Krom- und Hornformeln (1971) |
Asesor de doctorado | Dieter Rödding [1] |
Vida y obra
Börger nació en Bad Laer , Westfalia , Baja Sajonia , Alemania . Entre 1965 y 1971 estudió en la Sorbona , París ( Francia ), la Université Catholique de Louvain , el Institut Supérieur de Philosophie de Louvain y la Universidad de Münster (Alemania). Desde 1985 ha ocupado una cátedra de informática en la Universidad de Pisa , Italia. Desde septiembre de 2010 es miembro electo de la Academia Europaea . [3]
Egon Börger es pionero en la aplicación de métodos lógicos en informática. Es cofundador de la serie de conferencias internacionales CSL. [4] También es uno de los fundadores del método formal Abstract State Machines (ASM) para el diseño y análisis precisos y controlados de sistemas basados en computadora [5] y cofundador de la serie de talleres internacionales de ASM. [6]
Börger contribuyó a los fundamentos teóricos del método e inició sus aplicaciones industriales en una variedad de campos, en particular lenguajes de programación , arquitectura de sistemas , requisitos y (re) ingeniería de software , sistemas de control , protocolos , servicios web . Hasta la fecha, es uno de los principales científicos en tecnología de modelado y verificación basada en la MAPE, a la que ha moldeado de manera crucial sus actividades. En 2007, recibió el Premio de Investigación Humboldt . [7]
Publicaciones Seleccionadas
- Egon Börger y Robert Stärk, Abstract State Machines: A Method for High-Level System Design and Analysis , Springer-Verlag , 2003. ( ISBN 3-540-00702-4 )
- Egon Börger Computability, Complexity, Logic (Holanda Septentrional, Amsterdam 1989, traducido del original alemán de 1985, traducción italiana Bollati-Borighieri 1989)
- Egon Börger, The Classical Decision Problem (coautor de E.Graedel e Y.Gurevich), Springer-Verlag 1997, ISBN 3-540-57073-X , segunda edición como "Universitext", Springer-Verlag 2001, ISBN 3-540-42324-9
- Egon Börger, Java and the Java Virtual Machine: Definition, Verification, Validation (en coautoría de R. Staerk y J. Schmid), Springer-Verlag ISBN 3-540-42088-6 , 2001
- Egon Börger y Alexander Raschke, compañero de modelado para practicantes de software , Springer , 2018. ( ISBN 978-3-662-56639-8 , doi : 10.1007 / 978-3-662-56641-1 )
Referencias
- ^ Egon Börger en el Proyecto de genealogía matemática
- ^ Abrial, Jean-Raymond y Glässer, Uwe (2009). "Homenaje a Egon Börger con motivo de su 60 cumpleaños" (PDF) . Métodos rigurosos para la construcción y el análisis de software: artículos dedicados a Egon Börger con motivo de su 60 cumpleaños . Apuntes de conferencias en informática . 5115 . Springer . Consultado el 9 de abril de 2012 .CS1 maint: varios nombres: lista de autores ( enlace )
- ^ "Egon Boerger" . Academia Europaea . Consultado el 9 de abril de 2012 .
- ^ Lógica de la informática , DBLP .
- ^ Centro de investigación de máquinas de estado abstracto .
- ^ Talleres internacionales de MAPE , Universidad de Michigan , Estados Unidos.
- ^ Fundación Humboldt , Alemania.
enlaces externos
- Página de inicio de Egon Börger
- Publicaciones, etc.
- Curriculum vitae
- Egon Börger en el servidor de bibliografía DBLP
- Lista de publicaciones de Microsoft Academic