Egon Börger

Computer Scientist

1946 –

 Credit »
9

Who is Egon Börger?

Egon Börger is a German-born computer scientist based in Italy.

Professor Egon Börger was born in Bad Laer, Westphalia, Lower Saxony, Germany. Between 1965 and 1971 he studied at the Sorbonne, Paris, Université Catholique de Louvain and Institut Supérieur de Philosophie de Louvain, University of Münster. 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.

Professor Egon 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 formal method for accurate and controlled design and analysis of computer-based systems and cofounder of the series of international ASM workshops. He 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 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.

We need you!

Help us build the largest biographies collection on the web!

Born
May 13, 1946
Bad Laer
Also known as
  • Egon Borger
Nationality
  • Germany
  • Italy
Profession
Education
  • University of Münster
  • Université catholique de Louvain
  • University of Paris
Lived in
  • Pisa

Submitted
on July 23, 2013

Citation

Use the citation below to add to a bibliography:

Style:MLAChicagoAPA

"Egon Börger." Biographies.net. STANDS4 LLC, 2024. Web. 28 Mar. 2024. <https://www.biographies.net/people/en/egon_borger>.

Discuss this Egon Börger biography with the community:

0 Comments

    Browse Biographies.net