We are hiring new doctoral researchers, student research assistants, and tutors. Apply now!
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:
