!!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).
\\ \\
__Festkolloquium__Joint 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