Parallele Systeme
Prof. Dr. Eike Best
Full list of projects and publications .ps.gz, 50KInaugural speech delivered Dec. 14, 1988 at Bonn University (in German), .ps, 92K
Curriculum Vitae:
| 13.03.1951 | Born in Neustadt an der Weinstraße (Germany). |
| 1961-1965 | Altsprachliches Gymnasium Neustadt an der Weinstraße. |
| 1965-1969 | German High School, Istanbul (Turkey). |
| 07.06.1969 | Abitur: German High School, Istanbul (Turkey). |
| 1969-1974 | Study of Informatik (Computer Science), Technical University of Karlsruhe. |
| 06.10.1971 | Vordiplom (~ B.Sc.) in Computer Science. |
| 02.11.1971 | Vordiplom (~ B.Sc.) in Mathematics. |
| 1972-1974 | Student Assistantships (systems development and compiler construction). |
| 11.11.1974 | Diplom (~ M.Sc.) in Informatik; Title of Thesis: 'Contributions to the Theory of Petri Nets'. |
| 1975 - ... | Employment: |
| 01.03.1975 - 31.05.1976 | Research Associate in the project 'Repercussions of Data Security' in the 'Institut für Datenverarbeitung im Rechtswesen (IDR)' of Gesellschaft für Mathematik und Datenverarbeitung (GMD) (German National Research Center for Computer Science) in Bonn / Sankt Augustin. |
| 01.06.1976 - 31.12.1977 | Research Associate in the project 'Iterative Design and Certification of Asynchronous Systems of Processes' at the University of Newcastle upon Tyne (England). |
| 01.01.1978 - 31.08.1981 | Research Associate in the project 'The Design of Highly Reliable Computing Systems' at the University of Newcastle upon Tyne. |
| 01.09.1981 - 30.09.1988 | Research Associate at the 'Institut für Informationssystemforschung' - later known as the 'Institut für Methodische Grundlagen' - of the GMD. |
| 01.09.1981 - 31.12.1984 | Participation in the project BEGRUND of the GMD; from November 1, 1983 responsibly so. |
| 01.01.1985 - 30.09.1988 | Participation in the project PRIAMOS of the GMD. |
| 01.10.1988 - 31.03.1989 | C3-Professor (~ assistant professor) for Informatik at the Universität-Gesamthochschule in Paderborn. |
| 01.04.1989 - 30.09.1996 | C4-Professor (full professor) for Computer Science (Chair of Theoretical Computer Science) at the Universität Hildesheim. |
| 01.10.1996 - ... | C4-Professor (full professor) for Computer Science (Chair of Theoretical Computer Science) at the Carl-von-Ossietzky-Universität Oldenburg. |
| 1980-1982 | Promotion: PhD at the University of Newcastle upon Tyne; Supervisors: Dr. Peter E. Lauer und Prof. Brian Randell (Newcastle). Title of the Dissertation: 'Semantics, Verification and Design of Concurrent Programs Using Atomic Actions.' |
| 05.01.1982 | Oral examination in Oberwolfach (Schwarzwald); Examiners: Prof. C.A.R. Hoare (Oxford) and Prof. K. Lautenbach (Bonn). |
| 01.04.1985 - 30.09.1985 | Temporary C4-professorship at the Universität-Gesamthochschule Paderborn. |
| May 1987 | Membership in IFIP's Technical Committee 2, Working Group 2.2 (Formal Description of Programming Concepts). |
| 1988 |
Habilitation at the University of Bonn. Title of the Habilitation Thesis: 'Kausale Semantik nichtsequentieller Programme' (Causal Semantics of Nonsequential Programs). (Appeared as a monography in the Oldenbourg-Verlag, 1989). |
| 19.06.1989 - 18.03.1992 | Principal Researcher of the ESPRIT Basic Research Project No. 3148 DEMON (Design Methods Based on Nets). |
| 23.07.1992 - 22.07.1995 | Principal Researcher of the ESPRIT Basic Research Working Group No. 6067 CALIBAN (Causal Calculi Based on Nets). |
| 01.01.1993 - 28.02.1999 | Principal Researcher of the project PEP (Petri net based Environment for Programming) funded by the Deutsche Forschungsgemeinschaft. |
| Various times |
Further projects: FOMD (Stiftung Volkswagenwerk), POEM and BAT (DAAD,
German Academic Exchange Service). |
| Research Interests: |
Distributed computing. Petri nets. Semantics of concurrent systems. Process calculi. Model checking and verification. Modelling and validation. Programming, efficient algorithms and complexity. |
| I am married with five children (born August 1978, March 1980, June 1982, May 1984 and September 1987). |