fbpx
Wikipedia

Egon Börger

January 01, 1970

Egon Börger (born 13 May 1946[2]) is a German-born computer scientist based in Italy.

Egon Börger
Born13 May 1946 (1946-05-13) (age 78)
Bad Laer, Osnabrück, Lower Saxony, Germany
NationalityGerman
Alma materSorbonne
Université Catholique de Louvain
University of Münster
Known forAbstract State Machines
AwardsHumboldt Research Award (2007)
Scientific career
FieldsComputer science
InstitutionsUniversity of Pisa
ThesisReduktionstypen in Krom- und Hornformeln (1971)
Doctoral advisorDieter Rödding[1]

Life and work edit

Börger was born in Bad Laer, Westphalia, Lower Saxony, Germany. Between 1965 and 1971 he studied at the Sorbonne, Paris (France), Université Catholique de Louvain, Institut Supérieur de Philosophie de Louvain and University of Münster (Germany). Between 1972 and 1976, he was at the Università di Salerno in Italy,[3] where he taught the first courses in the newborn Computer Science Degree. Since 1985 he has held a Chair in computer science at the University of Pisa, Italy. Since September 2010, he has been an elected member of the Academia Europaea.[4]

Egon Börger is a pioneer of applying logical methods in computer science. He is co-founder of the international conference series CSL.[5] He is also one of the founders of the Abstract State Machines (ASM) formal method for accurate and controlled design and analysis of computer-based systems [6] and cofounder of the series of international ASM workshops,[7] which in 2008 merged with the regular meetings of the B and Z User Groups to form the international ABZ conference.[8]

Börger contributed to the theoretical foundations of the method and initiated its industrial applications in a variety of fields, in particular programming languages, System architecture, requirements and software (re-)engineering, control systems, protocols, web services. To this date, he is one of the leading scientists in ASM-based modeling and verification technology, which he has crucially shaped by his activities. In 2007, he received the Humboldt Research Award.[9]

Festschrifts were produced for Börger's 60th and 75th birthdays.[10][11]

Selected publications edit

  • Egon Börger and Robert Stärk, , Springer-Verlag, 2003. (ISBN 3-540-00702-4)
  • Egon Börger Computability, Complexity, Logic (North-Holland, Amsterdam 1989, translated from the German original from 1985, Italian Translation Bollati-Borighieri 1989)
  • Egon Börger, The Classical Decision Problem (co-authored by E.Graedel and Y.Gurevich), Springer-Verlag 1997, ISBN 3-540-57073-X, 2nd Edition as "Universitext", Springer-Verlag 2001, ISBN 3-540-42324-9
  • Egon Börger, Java and the Java Virtual Machine: Definition, Verification, Validation (co-authored by R. Staerk and J. Schmid), Springer-Verlag ISBN 3-540-42088-6, 2001
  • Egon Börger and Alexander Raschke, Modeling Companion for Software Pratitioners, Springer, 2018. (ISBN 978-3-662-56639-8, doi:10.1007/978-3-662-56641-1)

References edit

  1. ^ Egon Börger at the Mathematics Genealogy Project
  2. ^ Abrial, Jean-Raymond; Glässer, Uwe. "Tribute to Egon Börger on the Occasion of his 60th Birthday" (PDF). Italy: University of Pisa. Retrieved April 9, 2012.
  3. ^ "Egon Boerger CV" (PDF). Retrieved December 20, 2022.
  4. ^ "Egon Boerger". Academia Europaea. Retrieved April 9, 2012.
  5. ^ Computer Science Logic, DBLP.
  6. ^ Abstract State Machines Research Center 2014-12-16 at the Wayback Machine.
  7. ^ International ASM workshops, University of Michigan, USA.
  8. ^ Börger, Egon; Butler, Michael; Bowen, Jonathan P.; Boca, Paul, eds. (2008). Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16–18, 2008. Proceedings. Lecture Notes in Computer Science. Vol. 5238. Springer-Verlag. doi:10.1007/978-3-540-87603-8. ISBN 978-3-540-87602-1.
  9. ^ Humboldt foundation, Germany.
  10. ^ Abrial, Jean-Raymond; Glässer, Uwe, eds. (2009). Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday. Lecture Notes in Computer Science. Vol. 5115. Springer-Verlag. doi:10.1007/978-3-642-11447-2. ISBN 978-3-642-11446-5.
  11. ^ Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter, eds. (2021). Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday. Lecture Notes in Computer Science. Vol. 12750. Springer International Publishing. doi:10.1007/978-3-030-76020-5. ISBN 978-3-030-76019-9. S2CID 235326634.

External links edit

  • Egon Börger home page
  • Publications, etc.
  • Curriculum Vitae
  • Egon Börger at DBLP Bibliography Server  
  • Egon Börger publications indexed by Microsoft Academic

January 01, 1970
egon, börger, born, 1946, german, born, computer, scientist, based, italy, born13, 1946, 1946, laer, osnabrück, lower, saxony, germanynationalitygermanalma, matersorbonneuniversité, catholique, louvainuniversity, münsterknown, forabstract, state, machinesaward. Egon Borger born 13 May 1946 2 is a German born computer scientist based in Italy Egon BorgerBorn13 May 1946 1946 05 13 age 78 Bad Laer Osnabruck Lower Saxony GermanyNationalityGermanAlma materSorbonneUniversite Catholique de LouvainUniversity of MunsterKnown forAbstract State MachinesAwardsHumboldt Research Award 2007 Scientific careerFieldsComputer scienceInstitutionsUniversity of PisaThesisReduktionstypen in Krom und Hornformeln 1971 Doctoral advisorDieter Rodding 1 Contents 1 Life and work 2 Selected publications 3 References 4 External linksLife and work editBorger was born in Bad Laer Westphalia Lower Saxony Germany Between 1965 and 1971 he studied at the Sorbonne Paris France Universite Catholique de Louvain Institut Superieur de Philosophie de Louvain and University of Munster Germany Between 1972 and 1976 he was at the Universita di Salerno in Italy 3 where he taught the first courses in the newborn Computer Science Degree Since 1985 he has held a Chair in computer science at the University of Pisa Italy Since September 2010 he has been an elected member of the Academia Europaea 4 Egon Borger is a pioneer of applying logical methods in computer science He is co founder of the international conference series CSL 5 He is also one of the founders of the Abstract State Machines ASM formal method for accurate and controlled design and analysis of computer based systems 6 and cofounder of the series of international ASM workshops 7 which in 2008 merged with the regular meetings of the B and Z User Groups to form the international ABZ conference 8 Borger contributed to the theoretical foundations of the method and initiated its industrial applications in a variety of fields in particular programming languages System architecture requirements and software re engineering control systems protocols web services To this date he is one of the leading scientists in ASM based modeling and verification technology which he has crucially shaped by his activities In 2007 he received the Humboldt Research Award 9 Festschrifts were produced for Borger s 60th and 75th birthdays 10 11 Selected publications editEgon Borger and Robert Stark Abstract State Machines A Method for High Level System Design and Analysis Springer Verlag 2003 ISBN 3 540 00702 4 Egon Borger Computability Complexity Logic North Holland Amsterdam 1989 translated from the German original from 1985 Italian Translation Bollati Borighieri 1989 Egon Borger The Classical Decision Problem co authored by E Graedel and Y Gurevich Springer Verlag 1997 ISBN 3 540 57073 X 2nd Edition as Universitext Springer Verlag 2001 ISBN 3 540 42324 9 Egon Borger Java and the Java Virtual Machine Definition Verification Validation co authored by R Staerk and J Schmid Springer Verlag ISBN 3 540 42088 6 2001 Egon Borger and Alexander Raschke Modeling Companion for Software Pratitioners Springer 2018 ISBN 978 3 662 56639 8 doi 10 1007 978 3 662 56641 1 References edit Egon Borger at the Mathematics Genealogy Project Abrial Jean Raymond Glasser Uwe Tribute to Egon Borger on the Occasion of his 60th Birthday PDF Italy University of Pisa Retrieved April 9 2012 Egon Boerger CV PDF Retrieved December 20 2022 Egon Boerger Academia Europaea Retrieved April 9 2012 Computer Science Logic DBLP Abstract State Machines Research Center Archived 2014 12 16 at the Wayback Machine International ASM workshops University of Michigan USA Borger Egon Butler Michael Bowen Jonathan P Boca Paul eds 2008 Abstract State Machines B and Z First International Conference ABZ 2008 London UK September 16 18 2008 Proceedings Lecture Notes in Computer Science Vol 5238 Springer Verlag doi 10 1007 978 3 540 87603 8 ISBN 978 3 540 87602 1 Humboldt foundation Germany Abrial Jean Raymond Glasser Uwe eds 2009 Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday Lecture Notes in Computer Science 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 Logic Computation and Rigorous Methods Essays Dedicated to Egon Borger on the Occasion of His 75th Birthday Lecture Notes in Computer Science Vol 12750 Springer International Publishing doi 10 1007 978 3 030 76020 5 ISBN 978 3 030 76019 9 S2CID 235326634 External links editEgon Borger home page Publications etc Curriculum Vitae Egon Borger at DBLP Bibliography Server nbsp Egon Borger publications indexed by Microsoft Academic Retrieved from https en wikipedia org w index php title Egon Borger amp oldid 1210748990, wikipedia, wiki, book, books, library,

article

, read, download, free, free download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, picture, music, song, movie, book, game, games.