Sneha Girap (Editor)

Egon Börger

Updated on
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Covid-19
Nationality  German
Residence  Pisa, Italy
Role  Computer scientist

Name  Egon Borger
Institutions  University of Pisa
Fields  Computer Science
Egon Borger httpsuploadwikimediaorgwikipediacommonsthu
Alma mater  Sorbonne Universite Catholique de Louvain University of Munster
Known for  Abstract State Machines
Notable awards  Humboldt Research Award (2007)
Education  University of Paris, University of Munster, Universite catholique de Louvain
Books  Abstract State Machines, The Classical Decision, Java and the Java Virtual M, Abstract State Machines, Trends in Theoretical Computer
Similar People  Yuri Gurevich, Jean‑Raymond Abrial, Michael M Richter

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

Contents

Life and work

Egon Börger Computer Science Logic 4th 1990 Egon Brger 9783540544876

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 and Institut Supérieur de Philosophie de Louvain (in Louvain-la-Neuve, Belgium), 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.

Egon Börger wwwaeinfoorgattachUserBoergerEgonboergere

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

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.

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
  • References

    Egon Börger Wikipedia


    Similar Topics
    Michael M Richter
    Yuri Gurevich
    The Call of the Wild (1935 film)
    Topics
     
    B
    i
    Link
    H2
    L