Egon Börger
Encyclopedia
Egon Börger is a German
-born computer scientist based in Italy
.
Professor Egon Börger was born in Bad Laer
, 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.
Professor Egon Böerger 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) 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 (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.
Germany
Germany , officially the Federal Republic of Germany , is a federal parliamentary republic in Europe. The country consists of 16 states while the capital and largest city is Berlin. Germany covers an area of 357,021 km2 and has a largely temperate seasonal climate...
-born computer scientist based in Italy
Italy
Italy , officially the Italian Republic languages]] under the European Charter for Regional or Minority Languages. In each of these, Italy's official name is as follows:;;;;;;;;), is a unitary parliamentary republic in South-Central Europe. To the north it borders France, Switzerland, Austria and...
.
Professor Egon Börger was born in Bad Laer
Bad Laer
Bad Laer is a municipality and health resort in the district of Osnabrück, in Lower Saxony, Germany. It is situated in the Teutoburg Forest, approx. 20 km south of Osnabrück....
, Lower Saxony
Lower Saxony
Lower Saxony is a German state situated in north-western Germany and is second in area and fourth in population among the sixteen states of Germany...
, Germany. Between 1965 and 1971 he studied at the Sorbonne
Sorbonne
The Sorbonne is an edifice of the Latin Quarter, in Paris, France, which has been the historical house of the former University of Paris...
, Paris
Paris
Paris is the capital and largest city in France, situated on the river Seine, in northern France, at the heart of the Île-de-France region...
(France), Université Catholique de Louvain
Université catholique de Louvain
The Université catholique de Louvain, sometimes known, especially in Belgium, as UCL, is Belgium's largest French-speaking university. It is located in Louvain-la-Neuve and in Brussels...
and Institut Supérieur de Philosophie de Louvain (in Louvain-la-Neuve
Louvain-la-Neuve
Louvain-la-Neuve is a planned city in the municipality of Ottignies-Louvain-la-Neuve, Belgium, situated 30 km southeast of Brussels, in the French-speaking part of the country...
, Belgium), University of Münster
University of Münster
The University of Münster is a public university located in the city of Münster, North Rhine-Westphalia in Germany. The WWU is part of the Deutsche Forschungsgemeinschaft, a society of Germany's leading research universities...
(Germany).
Since 1985 he has held a Chair in computer science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
at the University of Pisa
University of Pisa
The University of Pisa , located in Pisa, Tuscany, is one of the oldest universities in Italy. It was formally founded on September 3, 1343 by an edict of Pope Clement VI, although there had been lectures on law in Pisa since the 11th century...
, Italy. Since September 2010 he has been an elected member of the Academia Europaea.
Professor Egon Böerger 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
Abstract State Machines
In computer science, an abstract state machine is a state machine operating on states which are arbitrary data structures .The ASM Method is a practical and scientifically well-founded systems engineering method which bridges...
(ASM) 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 (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-VerlagSpringer Science+Business Media- Selected publications :* Encyclopaedia of Mathematics* Ergebnisse der Mathematik und ihrer Grenzgebiete * Graduate Texts in Mathematics * Grothendieck's Séminaire de géométrie algébrique...
, 2003. (ISBN 3-540-00702-4) - Egon Börger Computability, Complexity, Logic (North-Holland, Amsterdam 1989, translated from the German original from 1985, Itlian 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