We are hiring new doctoral researchers, student research assistants, and tutors. Apply now!
Distinguished Paper Award and Best Artifact Award at FSE 2024!
Activities
Member of the Comité Scientifique of Institut Mines-Télécom (2013-)
Member of the Comité Stratégique of the Université de Bordeaux (2013-)
Vice President for Studies of Ludwig-Maximilians-Universität München (10/2010-) Member of the University Council (Hochschulrat) of Ludwig-Maximilians-Universität München (10/2007-09/2010)
Coordinator of the Scientific Advisory Board of IMT - Lucca Institute for Advanced Studies for the research area "Computer Science and Applications" (2008-2012)
Vice-Chair of the Board of the Elite Graduate Program Software Engineering (10/2006-)
Former administrative activities
President of the Scientific Board of INRIA ("Institut National de Recherche en Informatique et en Automatique") (04/2007-12/2010)
Deputy Chairman of the Senate of Ludwig-Maximilians-Universität München (10/2007-09/2010)
Director of the Institute for Computer Science of the Fakultät für Mathematik, Informatik und Statistik of Ludwig-Maximilians-Universität München
Speaker of GI-Fachgruppe 0.1.7 "Specification and Semantics"
Senator of Ludwig-Maximilians-Universität München (2002-2004)
Dean of the Faculty of Mathematics, Computer Science and Statistics of Ludwig-Maximilians-Universität München (1999-2001)
Vice-dean of the Faculty of Mathematics and Computer Science of Universität Passau (1988-1990)
Dean of the Faculty of Mathematics and Computer Science of Universität Passau (1986-1988)
Chair and Organisation of Workshops und Conferences:
ASCENS Kickoff, München, October 11-13, 2010
TGC 2010 , 5th Intl. Symposium on Trustworthy Global ComputingFASE 2009 , Fundamental Approaches to Software Engineering, York, March 2009. FASE is one of the five main conferences of the "European Joint Conferences on Theory and Practice of Software (ETAPS) "EDOC 2008 , 12th International IEEE Conference on Enterprise Computing, München, September 15-19, 2008Software-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, 2008Software-Intensive Systems and New Computing Paradigms , EU Coordinated Action InterLink, Eze (Cote d’Azur), May 10-12, 2007Autonomous 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
Member of Program Committees:
CALCO 2011, 4th Conference on Algebra and Coalgebra in Computer Science, August 29 - September 2, 2011, Winchester, UKSEEFM 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 Systems14th 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. The Workshop takes place in connection with SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing .AMAST 2008 , 12th International Conference on Algebraic Methodology and Software Technology, Urbana, Illinois, USA , 28-31 July, 2008GT-VMT 2008 , Budapest, March 29 - 30, 2008, satellite event of ETAPS 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, Norway6th 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:
Member of Advisory Boards:
Member of Editorial Boards:
