|
Technische Universität Braunschweig 
Institut für Programmierung und Reaktive Systeme
Mühlenpfordtstr. 23 (Raum 205A)
38106 Braunschweig
Postfach 3329
38023 Braunschweig
| Telefon: |
+49 531/391-3277 |
|
+49 531/391-7466 (Sekretariat) |
| Fax: |
+49 531/391-8111 |
| E-Mail: |
 |
Sprechzeiten: nach Vereinbarung per e-mail
Lehre
Prozessalgebra - WS 2009/2010
Grundlagen Reaktiver System - WS 2009/2010
Compiler II - WS 2009/2010
Compilerbaupraktikum - WS 2009/2010
Softwaretechnisches Industriepraktikum - WS 2009/2010
Seminar Programmierung und Reaktive Systeme - WS 2009/2010
Praktikum Reaktive Systeme - SS 2009
Reaktive Systeme - SS 2009
SummerCamp 2009 - Planspiel Automotive Design - SS 2009
Compiler I - SS 2009 Software Engineering für Software im Automobil - WS 2008/2009
Projekte
- IT-Ökosysteme (Projekte AIM und ruleIT)
- OMgA (Optimierung einer Motorsteuerung mit genetischen Algorithmen), in Zusammenarbeit mit der Volkswagen AG, 2007
- ArchiVal (Architektur Evaluation eingebetteter Systeme im Automobil), in Zusammenarbeit mit der Volkswagen AG, 2006-2007
- SFB 562, A5 (Robotersysteme für Handhabung und Montage), seit 2000
- Step-X (Strukturierter Entwicklungsprozess am Beispiel von X-by-wire-Anwendungen), in Zusammenarbeit mit der Volkswagen AG, 2001-2006
- DFG-Projekt EREAS (Entwurf reaktiver Systeme), 1995-2001
- HIVS (Hierarchische Spezifikation und Verifikation sicherer verteilter Systeme) DAAD (VIGONI), 1995-1996
- Human Capital and Mobility Cooperation Network, EXPRESS (Expressiveness of Languages for Concurrency), 1993-1997
- Esprit Basic Research Working Group No. 6067, CALIBAN (Causal Calculi Based on Nets), 1992-1995
- Teilvorhaben "Entwicklung zuverlässiger reaktiver Systeme" im Rahmen des BMFT-Projekts KORSO, 1991-1994
- ESPRIT Basic Research Action DEMON (Design Methods Based on Nets), 1989-1991
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 |
Forschungsinteressen
Specification and system design, reactive systems, concurrency.
Ausgesuchte Forschungsaktivitäten
- 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
Veröffentlichungen
|
