Tätigkeiten
- Mitglied des Comité Scientifique des Institut Mines-Télécom (seit 2013)
- Mitglied des Comité Stratégique der Université de Bordeaux (seit 2013)
- Vizepräsident für den Bereich Studium der Ludwig-Maximilians-Universität München (seit 10/2010)
- Stellvertretender Vorsitzender des Boards des Elite-Masterstudiengangs Software Engineering (seit 10/2006)
- Frühere Tätigkeiten
- Koordinator des Wissenschaftlichen Forschungsbeirats des IMT - Lucca Institute for Advanced Studies für den Bereich "Computer Science and Applications" (2008-2012)
- Mitglied des Hochschulrats der Ludwig-Maximilians-Universität München (10/2007 - 09/2010)
- Präsident des Wissenschaftlichen Beirats der INRIA ("Institut National de Recherche en Informatique et en Automatique") (04/2007-12/2010)
- Stellvertretender Vorsitzender des Senats der Ludwig-Maximilians-Universität München (10/2007-09/2010)
- Direktor des Instituts für Informatik der Fakultät für Mathematik, Informatik und Statistik der Ludwig-Maximilians-Universität München (03/2006-1003/2006-10/2007)
- Sprecher der GI-Fachgruppe 0.1.7 "Spezifikation und Semantik" (1999-2007)
- Senator der Ludwig-Maximilians-Universität München (2002-2004)
- Dekan der Fakultät für Mathematik, Informatik und Statistik der der Ludwig-Maximilians-Universität München (1999-2001)
- Prodekan der Fakultät für Mathematik und Informatik der Universität Passau (1988-1990)
- Dekan der Fakultät für Mathematik und Informatik der Universität Passau (1986-1988)
- Leitung von Workshops und Konferenzen:
- ASCENS Kickoff, München, Oxctober 11-13, 2010
- TGC 2010, 5th Intl. Symposium on Trustworthy Global Computing
- FASE 2009, Fundamental Approaches to Software Engineering, York, March 2009. FASE ist eine der fünf Hauptkonferenzen der "European Joint Conferences on Theory and Practice of Software (ETAPS)"
- EDOC 2008, 12th International IEEE Conference on Enterprise Computing, München, September 15-19
- Software-Intensive Systems and New Computing Paradigms, EU Coordinated Action InterLink, University of Illinois, Urbana-Champaign, 28-29 July 2008
- SENSORIA Workshop München, March 11-14, 2008
- Software-Intensive Systems and New Computing Paradigms, EU Coordinated Action InterLink, München, December 02-04, 2007
- Software-Intensive Systems and New Computing Paradigms, EU Coordinated Action InterLink, Eze (Cote d’Azur ), May 10-12, 2007
- Autonomous and Adaptive Web Services, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, Dagstuhl-Seminar 07061, February 04 – 09, 2007
- Foundations of Global Computing, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, February 20-25, 2006
- Mitglied der Programmkomitees folgender Konferenzen
-
FORTE/FMOODS 2013, 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS), June 3-6, 2013, Florence, Italy
-
CALCO 2011, 4th Conference on Algebra and Coalgebra in Computer Science, August 29 - September 2, 2011, Winchester, UK
- SEEFM 2009, Formal Methods for Web Services, Formal Methods for Agent-Based Systems, Thessaloniki, December 2009.
- FMOODS & FORTE 2010,12th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems and 30th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems
- 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009), Eindhoven (NL), November 2-3, 2009 (co-located with FM 2009)
- IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2009), Lisbon, Portugal, June 9-11, 2009. It is part of the federated conference event DisCoTec 2009 (Distributed Computing Techniques)
- IASTED International Conference on Software Engineering (SE 2009), Innsbruck, Austria, February 17 – 19, 2009
- GlobalComp 2008, Workshop on Global Computing Models and Technologies, Timisoara, Romania, September 27-28, 2008. Der Workshop findet im Rahmen von SYNASC 2008, dem 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing statt.
- AMAST 2008, 12th International Conference on Algebraic Methodology and Software Technology, Urbana, Illinois, USA, 28-31 July, 2008
- GT-VMT 2008, Budapest, March 29 - 30, 2008, satellite event of ETAPS 2008.
- SE 2008, Software-Engineering-Konferenz 2008, TU München, February 18 - 22, 2008
- SEFM 2007, 5th IEEE International Conference on Software Engineering and Formal Methods, London, September 10-14, 2007.
- CALCO 2007, 2nd Conference on Algebra and Coalgebra in Computer Science, August 20-24, 2007, Bergen, Norway
- 6th International Workshop on Graph Transformation and Visual Modeling Techniques, March 31 - April 1 2007, Braga, Portugal
- European Symposium on Programming (ESOP 2007), Braga, Portugal, March 24 - April 1, 2007.
- Dagstuhl Seminar on Autonomic Web Services, Schloss Dagstuhl, Germany, Februar 04-09, 2007.
- 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006), Vienna, Austria, 8-9 September 2006.
- 3rd International Workshop on Web Services and Formal Methods (WS-FM 2006), Vienna, Austria, 8-9 September 2006.
- Formal Methods 2006, McMaster University, Hamilton, Ontario, Canada, August 21 - 27, 2006.
- 11th International Conference on Algebraic Methodology and Software Technology (AMAST'06), Kuressaare, Estonia, 5-8 July 2006.
- 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006), Vienna, Austria, April 1-2, 2006.
- M O D E L L I E R U N G 2006, Innsbruck, 21.-24. März 2006.
- IFIP Working Groups:
- Mitglied des wissenschaftlichen Beirats folgender weiterer Forschungsinstitutionen:
- IMDEA Software Foundation, Madrid (seit 2007)
- IMT - Lucca Institute for Advanced Studies (seit 2005)
- John von Neumann Minerva Center for the Development of Reactive Systems, Rehovot, Israel (seit 2006)
- FIRST - Fraunhofer Institut für Rechnerarchitektur und Softwaretechnik, Berlin (seit 2006)
- LRZ - Leibniz-Rechenzentrum München (Kommission für Informatik der Bayer. Akademie der Wissenschaften), München.
- Frühere Mitgliedschaften
- LORIA ("Laboratoire Lorrain de Recherche en Informatique et Automatique"),
- Mitglied der Herausgeberkomitees folgender wissenschaftlicher Zeitschriften und Buchserien: