|
TU Braunschweig
Institute for Programming and Reactive Systems
Mühlenpfordtstr. 23 (R 205A)
38106 Braunschweig
P.O. 3329
38023 Braunschweig
| Telefon: |
+49 531/391-3277 |
|
+49 531/391-7466 (Secretariat) |
| Fax: |
+49 531/391-8111 |
| E-Mail: |
 |
Curriculum Vitae
Born October 11, 1954, married, two children, German
| 1982 |
Diplom in Computer Science, Technical University of Aachen 1982 |
| 1982-85 |
Scientific assistant at the Technical University of Aachen. |
| 1986-92 |
Scientific assistant at the Institute on Methodological Foundations of GMD, St. Augustin. |
| 1988 |
PhD (Dr. rer. nat.) Technical University of Aachen 1988 |
| 1988-89 |
Teaching activities at the University of Bonn. |
| 1989-91 |
Teaching activities at the Universities of Munich, Erlangen-Nürnberg, Mannheim and Bonn. |
| Jan.-June 1991 |
Participation in a research project at the University of Erlangen-Nürnberg. |
| 1992-98 |
Full Professor for Programming at the University of Hildesheim. |
| since 1998 |
Full Professor for Programming at the Techn. Univ. of Braunschweig |
Research Areas
Specification and system design, reactive systems, concurrency.
Selected Research Activities
- Organizer of IFIP Workshops "Formal Methods for Embedded Systems", Eindhoven, 2009
- Program committee ACSD 2004 and ACSD 2005
- Program committee Automotive Software Engineering & Concepts, Ulm, September 2004
- Program committee ICALP 2003
- Program committee TCS 2002
- Steering committee LICS (Logic in Computer Science) 1991-1997
- Referee for Journals like Acta Informatica, Information and Computation, Journal of the ACM, and for various conferences
- Program committee CONCUR '92, '96, and '97
- Program committee MFCS 96, Cracow, September 1996
- Program committee LICS '95, San Diego/U.S.A., June '95
- Program committee of the 15th International Conference on Application and Theory of Petri Nets, Zaragoza, 1994
- Conference chair CONCUR '93, Hildesheim, August 1993
- Organizer of several Dagstuhl-Seminars since 1992, e.g. "Temporal Logics for Distributed Systems - Paradigms and Algorithms" (with E. Clarke, P. Niebert, W. Penczek), October 1999
Publications
|
