Egon Boerger - Curriculum vitae#

University Studies

1965-1971 Sorbonne (Paris, France), Université de Louvain and Institut Supérieur de Philosophie de Louvain (Belgium), Universität Münster (Germany)

• Doctoral Examen 14.7.1971, Math Dept, University Münster. Dissertation Reduction classes in Krom and Horn formulae.
• Habilitation 11.2.1976, ibidem. Thesis: A simple method for determining the degree of unsolvability of decision problems for combinatorial systems.

Research Assistant

Institute of Logic and Foundations of Mathematics, University of Münster (Germany) 1971-1972, 1973-74, 1975-1976.

Lecturer and Associate Professor

• CS Department, U. of Salerno (Italy) 1972/73-1975/76
• Professor of Logic, Post-graduate School, U. of Salerno 1973-1975
• Dozent of Logic, Math Dept, U. of Münster Aug 1976-Sept 1978

Professor for Computer Science

• CS Dept, U. of Dortmund (Germany) Sept 1978-Nov 1985
• Dipartimento di Informatica, U. of Udine (Italy) 1982/83
• Dipartimento di Informatica, U. of Pisa (Italy) since Nov 1985

Guest Researcher at the following institutions:

IBM Scientific Center Heidelberg/D (Nov 1989-Oct 1990), Department of Electrical Engineering and Computer Science of the University of Michigan at Ann Arbor/USA (March-April 1991), Fachbereich Informatik at Universität Paderborn/D (May-July 1993 and Sept 1995), CIS Universität München/D (May 1994), IIG at Universität Freiburg/D (Sept 1994), BRICS at Univ. of Aarhus/DK (Aug 1995), DIMACS at Rutgers University in New Jersey/USA (Oct-Nov 1995), Siemens AG Corporate Research and Development München/D (Jan-Aug 1996, Oct-Dec 1999), Software Technology Dept. of GMD FIRST Berlin/D (Sept-Oct 1996), IRIN Nantes/F (April-May 1998), Microsoft Research Redmond/USA (Jan-Sep 2000), Chair of Software Engineering at CS Departement of ETH Zürich/CH (Nov-Dec 2004), SAP Research Karlsruhe/D (Jan-June 2005), Chair for Information Systems Engineering at CAU (Universität Kiel/D) Fall 2007 and Spring/Summer 2008, ETH Zürich/CH (Jan-June 2010), KIT Karlsruhe/D (Feb/March 2011), TU Braunschweig/D (May/June 2011), SCCH Linz/AU (April 2011, March 2012-2015), U Duesseldorf/Bonn-Rhein-Sieg/Kiel/D (Summer Term 2014), U Ulm/D (February, September 2017).

Offers

Offer of a chair in Computer Science at the University of Udine (Italy) declined in Summer 1983. Offer of a chair in Mathematical Logic at the University of Bonn (Germany) declined in Fall of 1985. Offer of a chair in Theoretical Computer Science at the University of Stuttgart (Germany) declined in 1988. Offer of a Computer Science Chair at the University of Bonn (Germany) declined in Fall 1997.

Activities and Research Interests

From 1969-1989 research in Logic and Complexity Theory. A pioneer of applying logical methods in computer science. Co-Founder of the European Association for Computer Science Logic and first EACSL President 1992|1997.

Since 1990 research in Software Technology, pioneering the development and the industrial applications of the Abstract State Machines Method for controllable construction and maintenance of hardware/software systems| with a focus on rigorously relating requirements capture by high-level models to detailed design and their analysis (using both mathematical verification and experimental validation).

(Co-)Author of two monographies in logic, three monographies in computer science, two textbooks and of numerous research papers in logic (1969- 1989) and computer science (since 1990); editor of 25 books and special journal issues and organizer of over 30 international conferences, workshops, schools in logic (1969-1989) and computer science (since 1990). Co-Founder of three series of international meetings: CSL Computer Science Logic, the annual conference of the European Association for Computer Science Logic (EACSL), started in 1987. ASM, the annual workshop on Abstract State Machines, started in 1994 and merged into ABZ in 2008. ABZ (ASMs, B, Z) Conference, started in 2008.

Humboldt Research Award 2007/08.

Festschrift Jean-Raymond Abrial and Uwe Glässer (Eds): Rigorous Methods for Software Construction and Analysis - Papers Dedicated to Egon Börger on the Occasion of His 60th Birthday. Springer LNCS 5115 (2009).

FestkolloquiumJoint iFM and ABZ2012 Conference dedicated to Egon Boerger on the occasion of his 65th birthday. Springer LNCS 7316/7321

Symposium on Abstract State Machines at ABZ 2016 (Linz) on the occasion of Egon Boerger's 70th birthday. Springer LNCS 9675