Egon Borger

Egon Borger
Egon Borger
Nacido	13 de mayo de 1946 (edad ( 13 de mayo de 1946 )78); Bad Laer , Osnabrück , Baja Sajonia , Alemania
Nacionalidad	Alemán
Alma máter	Sorbona ; Universidad Católica de Lovaina ; Universidad de Münster
Conocido por	Máquinas de estados abstractos
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

Científico informático alemán (nacido en 1930)

Egon Börger (nacido el 13 de mayo de 1946 ^[2] ) es un científico informático nacido en Alemania y radicado en Italia .

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). Entre 1972 y 1976, estuvo en la Università di Salerno en Italia, ^[3] donde impartió los primeros cursos de la recién nacida Licenciatura en Informática. Desde 1985 ocupa una cátedra de informática en la Universidad de Pisa , Italia. Desde septiembre de 2010, es miembro electo de la Academia Europaea . ^[4]

Egon Börger es un pionero en la aplicación de métodos lógicos en la informática. Es cofundador de la serie de conferencias internacionales CSL. ^[5] También es uno de los fundadores del método formal de Máquinas de Estados Abstractos (ASM) para el diseño y análisis precisos y controlados de sistemas informáticos ^[6] y cofundador de la serie de talleres internacionales de ASM, ^[7] que en 2008 se fusionaron con las reuniones regulares de los Grupos de Usuarios B y Z para formar la conferencia internacional ABZ. ^[8]

Börger contribuyó a las bases teóricas 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 y servicios web . Hasta la fecha, es uno de los científicos líderes en tecnología de modelado y verificación basada en ASM, a la que ha dado forma crucial con sus actividades. En 2007, recibió el Premio de Investigación Humboldt . ^[9]

Se produjeron Festschrifts para los cumpleaños 60 y 75 de Börger. ^[10]^[11]

Publicaciones seleccionadas

Egon Börger y Robert Stärk, Máquinas de estados abstractos: un método para el diseño y análisis de sistemas de alto nivel , Springer-Verlag , 2003. ( ISBN 3-540-00702-4 )
Egon Börger Computabilidad, complejidad, lógica (Holanda del Norte, Amsterdam 1989, traducción del original alemán de 1985, traducción al italiano Bollati-Borighieri 1989)
Egon Börger, The Classical Decision Problem (en coautoría con E.Graedel y Y.Gurevich), Springer-Verlag 1997, ISBN 3-540-57073-X , 2.ª edición como "Universitext", Springer-Verlag 2001, ISBN 3- 540-42324-9
Egon Börger, Java y la máquina virtual Java: definición, verificación, validación (en coautoría con R. Staerk y J. Schmid), Springer-Verlag ISBN 3-540-42088-6 , 2001
Egon Börger y Alexander Raschke, Compañero de modelado para profesionales del 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 ; Glässer, Uwe. «Homenaje a Egon Börger con motivo de su 60 cumpleaños» (PDF) . Italia: Universidad de Pisa . Consultado el 9 de abril de 2012 .
^ "CV de Egon Boerger" (PDF) . Consultado el 20 de diciembre de 2022 .
^ "Egon Börger". Academia Europaea . Consultado el 9 de abril de 2012 .
^ Lógica informática, DBLP .
^ Centro de Investigación de Máquinas de Estados Abstractos Archivado el 16 de diciembre de 2014 en Wayback Machine .
^ Talleres internacionales de ASM, Universidad de Michigan , EE.UU.
^ Börger, Egon; Butler, Michael ; Bowen, Jonathan P .; Boca, Paul, eds. (2008). Abstract State Machines, B and Z: First International Conference, ABZ 2008, Londres, Reino Unido, 16-18 de septiembre de 2008. Actas . Lecture Notes in Computer Science . Vol. 5238. Springer-Verlag . doi :10.1007/978-3-540-87603-8. ISBN . 978-3-540-87602-1.
^ Fundación Humboldt, Alemania.
^ Abrial, Jean-Raymond ; Glässer, Uwe, eds. (2009). Métodos rigurosos para la construcción y el análisis de software: ensayos dedicados a Egon Börger con motivo de su 60.º cumpleaños . Apuntes de clase en informática . Vol. 5115. Springer-Verlag . doi :10.1007/978-3-642-11447-2. ISBN 978-3-642-11446-5.
^ Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter, eds. (2021). Lógica, computación y métodos rigurosos: ensayos dedicados a Egon Börger con motivo de su 75.º cumpleaños . Apuntes de clase en informática . Vol. 12750. Springer International Publishing . doi :10.1007/978-3-030-76020-5. ISBN . 978-3-030-76019-9.ID S2C 235326634.

Enlaces externos

Página de inicio de Egon Börger
Publicaciones, etc.
Currículum vitae
Egon Börger en el servidor de bibliografía DBLP
Publicaciones de Egon Börger indexadas por Microsoft Academic

[mathgene-1] Egon Börger en el Proyecto de Genealogía Matemática

[abrial-glasser-2] Abrial, Jean-Raymond ; Glässer, Uwe. «Homenaje a Egon Börger con motivo de su 60 cumpleaños» (PDF) . Italia: Universidad de Pisa . Consultado el 9 de abril de 2012 .

[3] "CV de Egon Boerger" (PDF) . Consultado el 20 de diciembre de 2022 .

[4] "Egon Börger". Academia Europaea . Consultado el 9 de abril de 2012 .

[5] Lógica informática, DBLP .

[6] Centro de Investigación de Máquinas de Estados Abstractos Archivado el 16 de diciembre de 2014 en Wayback Machine .

[7] Talleres internacionales de ASM, Universidad de Michigan , EE.UU.

[abz2008-8] Börger, Egon; Butler, Michael ; Bowen, Jonathan P .; Boca, Paul, eds. (2008). Abstract State Machines, B and Z: First International Conference, ABZ 2008, Londres, Reino Unido, 16-18 de septiembre de 2008. Actas . Lecture Notes in Computer Science . Vol. 5238. Springer-Verlag . doi :10.1007/978-3-540-87603-8. ISBN . 978-3-540-87602-1.

[9] Fundación Humboldt, Alemania.

[festchrift1-10] Abrial, Jean-Raymond ; Glässer, Uwe, eds. (2009). Métodos rigurosos para la construcción y el análisis de software: ensayos dedicados a Egon Börger con motivo de su 60.º cumpleaños . Apuntes de clase en informática . Vol. 5115. Springer-Verlag . doi :10.1007/978-3-642-11447-2. ISBN 978-3-642-11446-5.

[festchrift2-11] Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter, eds. (2021). Lógica, computación y métodos rigurosos: ensayos dedicados a Egon Börger con motivo de su 75.º cumpleaños . Apuntes de clase en informática . Vol. 12750. Springer International Publishing . doi :10.1007/978-3-030-76020-5. ISBN . 978-3-030-76019-9.ID S2C 235326634.