Egon Börger

Egon Börger

Egon Börger (born 1946) 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), University of Louvain and Institut Supérieur de Philosophie de Louvain (Belgium), University of Münster (Germany).Since 1985 he has held a Chair in computer science at the University of Pisa, Italy.

Professor Egon Boerger is a pioneer of applying logical methods in computer science. He is co-founder of the international conference series CSL [ [http://www.informatik.uni-trier.de/~ley/db/conf/csl/index.html Computer Science Logic] ] . 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 [ [http://asmcenter.org] ] and co-founder of the series of international ASM workshops [ [http://www.eecs.umich.edu/gasm/community.html 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 architectures, 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 prestigious "Humboldt Research Award" [ [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] ]

elected publications

* Egon Börger and Robert Stärk, " [http://www.di.unipi.it/AsmBook/ 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, 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

External links

* [http://www.di.unipi.it/~boerger/ Home page]
* [http://www.di.unipi.it/~boerger/papers&cv.html Publications, etc.]
* [http://www.di.unipi.it/~boerger/Curriculum/cv.pdf Curriculum Vitae] (PDF)
*

References


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Börger — Borger Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Borger ou Börger peut faire référence à : Personnes : A. P. (Ace) Borger (1888 1934), un constructeur de villes américain, David Borger… …   Wikipédia en Français

  • Borger — or Börger is a surname, and may refer to:* A. P. (Ace) Borger (1888 1934), American town builder * David Borger (born 1969), Australian politician * Egon Börger (born 1946), German computer scientist * Gloria Borger, journalist, columnist, and… …   Wikipedia

  • Borger — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Borger ou Börger peut faire référence à : Personnes : A. P. (Ace) Borger (1888 1934), un constructeur de villes américain, David Borger (1969 ) …   Wikipédia en Français

  • Abstract state machines — In computer science, an abstract state machine (ASM) is a state machine in which the number of states need not be finite and in which the states are not mere points in the state space. More precisely, an ASM state is a structure in the sense of… …   Wikipedia

  • Abstract State Machine — Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), ehemals auch Evolving Algebra (EVA) genannt), ist in der Informatik ein Modell zur formalen, operationellen Beschreibung von Algorithmen. Anders als bei endlichen Automaten,… …   Deutsch Wikipedia

  • Abstract State Machines — Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), ehemals auch Evolving Algebra (EVA) genannt), ist in der Informatik ein Modell zur formalen, operationalen Beschreibung von Algorithmen. Anders als bei endlichen Automaten,… …   Deutsch Wikipedia

  • Abstrakte Zustandsmaschine — Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), nicht zu verwechseln mit Algorithmic state machines, ehemals auch Evolving Algebra (EVA) genannt), ist in der Informatik ein Modell zur formalen, operationellen Beschreibung… …   Deutsch Wikipedia

  • BCS-FACS — is the British Computer Society Formal Aspects of Computing Science Specialist Group. The group, founded in 1978, organizes meetings for its members and others on formal methods and related computer science topics. There is an associated journal …   Wikipedia

  • Cobham's thesis — The graph shows time (average of 100 instances in msec using a 933 MHz Pentium III) vs.problem size for knapsack problems for a state of the art specialized algorithm. Quadratic fit suggests that empirical algorithmic complexity for instances… …   Wikipedia

  • Information algebra — Classical information theory goes back to Claude Shannon. It is a theory of information transmission, looking at communication and storage. However, it has not been considered so far that information comes from different sources and that it is… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”