Egon Boerger#
| Membership Number: | 2791 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2010 |
| Main Country of Residence: | ITALY |
| Homepage(s): | http://www.di.unipi.it/~boerger |
Present and Previous Positions
- 1985 - present Professor for Computer Science, Dipartimento di Informatica, University of Pisa
- 1982/83 Professor for Computer Science, Dipartimento di Informatica, University of Udine
- Sept 1978 - Nov 1985 Computer Science Department, University of Dortmund
- Aug 1976 - Sept 1978 Dozent of Logic, Math Dept, University of Münster
- 1973-1975 Professor of Logic, Post-graduate School, University of Salerno
- 1972/73 - 1975/76 Lecturer, Computer Science Department, University of Salerno
Fields of Scholarship
- Logic an computer science
Honours and Awards
- 2007/08 Humboldt Research Award
- 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)
- 2010 Member of Academia Europaea
