Jump to content

Egon Börger: Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
Tidying, thesis, book
Line 7: Line 7:
| citizenship =
| citizenship =
| nationality = [[Germany|German]]
| nationality = [[Germany|German]]
| residence = [[Pisa]], [[Italy]]
| field = [[Computer science]]
| field = [[Computer science]]
| known_for = [[Abstract State Machines]]
| known_for = [[Abstract State Machines]]
| work_institution = [[University of Pisa]]
| work_institution = [[University of Pisa]]
| alma_mater = [[University of Paris|Sorbonne]]<br />[[Université Catholique de Louvain]]<br />[[University of Münster]]
| alma_mater = [[University of Paris|Sorbonne]]<br />[[Université Catholique de Louvain]]<br />[[University of Münster]]
| doctoral_advisor = [[Dieter Rödding]]<ref name="mathgene">{{MathGenealogy|id=155832}}</ref>
| doctoral_students =
| thesis_title = Reduktionstypen in Krom- und Hornformeln
| thesis_url = https://logic-library.berkeley.edu/catalog/detail/1211
| thesis_year = 1971
| awards = [[Humboldt Research Award]] (2007)
| awards = [[Humboldt Research Award]] (2007)
}}
}}
Line 17: Line 21:
'''Egon Börger''' (born 13 May 1946<ref name="abrial-glasser">{{cite news | url=http://www.di.unipi.it/~boerger/Curriculum/PortraitOfEgonBoerger.pdf | title=Tribute to Egon Börger on the Occasion of his 60th Birthday | accessdate=April 9, 2012 | author=[[Jean-Raymond Abrial|Abrial, Jean-Raymond]] and Glässer, Uwe | work=Rigorous Methods for Software Construction and Analysis - Papers Dedicated to Egon Börger on the Occasion of His 60th Birthday | publisher=[[Springer-Verlag|Springer]] | series =[[Lecture Notes in Computer Science]] | volume=5115 | year=2009 }}</ref>) is a [[Germany|German]]-born computer scientist based in [[Italy]].
'''Egon Börger''' (born 13 May 1946<ref name="abrial-glasser">{{cite news | url=http://www.di.unipi.it/~boerger/Curriculum/PortraitOfEgonBoerger.pdf | title=Tribute to Egon Börger on the Occasion of his 60th Birthday | accessdate=April 9, 2012 | author=[[Jean-Raymond Abrial|Abrial, Jean-Raymond]] and Glässer, Uwe | work=Rigorous Methods for Software Construction and Analysis - Papers Dedicated to Egon Börger on the Occasion of His 60th Birthday | publisher=[[Springer-Verlag|Springer]] | series =[[Lecture Notes in Computer Science]] | volume=5115 | year=2009 }}</ref>) is a [[Germany|German]]-born computer scientist based in [[Italy]].


== Life and work ==
==Life and work==
Börger was born in [[Bad Laer]], [[Westphalia]], [[Lower Saxony]], [[Germany]]. Between 1965 and 1971 he studied at the [[University of Paris|Sorbonne]], [[Paris]] ([[France]]), [[Université Catholique de Louvain]], Institut Supérieur de Philosophie de Louvain and [[University of Münster]] (Germany).
Börger was born in [[Bad Laer]], [[Westphalia]], [[Lower Saxony]], [[Germany]]. Between 1965 and 1971 he studied at the [[University of Paris|Sorbonne]], [[Paris]] ([[France]]), [[Université Catholique de Louvain]], Institut Supérieur de Philosophie de Louvain and [[University of Münster]] (Germany).
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]].<ref>{{cite web | url=http://www.ae-info.org/ae/User/Boerger_Egon | title=Egon Boerger | publisher=[[Academia Europaea]] | accessdate=April 9, 2012}}</ref>
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]].<ref>{{cite web | url=http://www.ae-info.org/ae/User/Boerger_Egon | title=Egon Boerger | publisher=[[Academia Europaea]] | accessdate=April 9, 2012}}</ref>
Line 26: Line 30:
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]].<ref>[http://www.humboldt-foundation.de/pls/web/wt_show.text_page?p_text_id=6438&p_stencil_mode=1&p_lang=en&p_forum_mode=1 Humboldt foundation], Germany.</ref>
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]].<ref>[http://www.humboldt-foundation.de/pls/web/wt_show.text_page?p_text_id=6438&p_stencil_mode=1&p_lang=en&p_forum_mode=1 Humboldt foundation], Germany.</ref>


== Selected publications ==
==Selected publications==
* Egon Börger and Robert Stärk, ''[https://web.archive.org/web/20051230083202/http://www.di.unipi.it/AsmBook/ Abstract State Machines: A Method for High-Level System Design and Analysis]'', [[Springer Science+Business Media|Springer-Verlag]], 2003. ({{ISBN|3-540-00702-4}})
* Egon Börger and Robert Stärk, ''[https://web.archive.org/web/20051230083202/http://www.di.unipi.it/AsmBook/ Abstract State Machines: A Method for High-Level System Design and Analysis]'', [[Springer Science+Business Media|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 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, 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, 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 Science+Business Media|Springer]], 2018. ({{ISBN|978-3-662-56639-8}}, {{doi|10.1007/978-3-662-56641-1}})


== References ==
==References==
{{Reflist}}
{{Reflist}}


== External links ==
==External links==
* [http://www.di.unipi.it/~boerger/ Egon Börger home page]
* [http://www.di.unipi.it/~boerger/ Egon Börger home page]
* [http://www.di.unipi.it/~boerger/papers&cv.html Publications, etc.]
* [http://www.di.unipi.it/~boerger/papers&cv.html Publications, etc.]

Revision as of 23:34, 31 January 2021

Egon Börger
Born13 May 1946 (1946-05-13) (age 78)
Bad Laer, Osnabrück, Westphalia, 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]

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

Life and work

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). 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.[3]

Börger is a pioneer of applying logical methods in computer science. He is co-founder of the international conference series CSL.[4] 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 [5] and cofounder of the series of international ASM workshops.[6]

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.[7]

Selected publications

  • Egon Börger and 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 (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

  1. ^ Egon Börger at the Mathematics Genealogy Project
  2. ^ Abrial, Jean-Raymond and Glässer, Uwe (2009). "Tribute to Egon Börger on the Occasion of his 60th Birthday" (PDF). Rigorous Methods for Software Construction and Analysis - Papers Dedicated to Egon Börger on the Occasion of His 60th Birthday. Lecture Notes in Computer Science. Vol. 5115. Springer. Retrieved April 9, 2012.{{cite news}}: CS1 maint: multiple names: authors list (link)
  3. ^ "Egon Boerger". Academia Europaea. Retrieved April 9, 2012.
  4. ^ Computer Science Logic, DBLP.
  5. ^ Abstract State Machines Research Center.
  6. ^ International ASM workshops, University of Michigan, USA.
  7. ^ Humboldt foundation, Germany.

External links

Retrieved from "https://en.wikipedia.org/w/index.php?title=Egon_Börger&oldid=1004073069"