1981-1983: Baccalauréat C (mention B, académie de Lyon). Mathématiques supérieures et spéciales au Lycée du Parc (Lyon)
1983-1986: Engineering degree in computer science from Ecole Nationale Supérieure d'Informatique et de Mathématiques Appliquées de Grenoble (ENSIMAG)
1986: Research master's degree in computer science from Institut National Polytechnique de Grenoble (Grenoble INP)
1986-1989: Doctorate degree (PhD) in computer science from Université Joseph Fourier of Grenoble (UJF). Thesis title: Compilation et vérification de programmes LOTOS. Jury: Jacky Barré, Gérard Berry (rapporteur), Ed Brinksma (rapporteur), Joseph Sifakis, Jean-Pierre Verjus (president) et Jacques Voiron (supervisor)
1985-1986: Computer scientist at IN2 Intertechnique (Plaisir). Design of a static analyzer and optimizer for a C compiler
1986-1989: PhD thesis (INRIA Roquencourt - LGI-IMAG Grenoble).
1989-1992: Computer science engineer at VERILOG (Toulouse and Grenoble). Design of VEDA-2, a compiler and verification tool for the ESTELLE language. Design of the compiler and code generator parts of the SAGA/SAO+ tool for the LUSTRE language
1993-1996: Chargé de recherche INRIA in the SPECTRE project-team of INRIA (VERIMAG laboratory)
1996-1999: Group leader of the VASY-RA joint research team between BULL and INRIA
2000-2011: Group leader of the VASY resarch team common to INRIA and LIG. Directeur de recherche INRIA since 2002
2011-2013: Consulting engineer at ALTROS (part-time), working as expert for the BSI (German Federal Office for Information Security)
IBM France Young Scientist Award in Computer Science (1990)
Gay-Lussac Humboldt Prize (2011)
1993-1994: Deputy project manager of the European/Canadian project EUCALYPTUS-1
1995-1996: Project manager of the European/Canadian project EUCALYPTUS-2
1994-1997: French delegate and chairman of Working Group 1 in the pan-European action COST-247 on formal verification and validation methods
1993-1999: French delegate in the standardization committee ISO/IEC JTC1/SC21/WG7 "Enhancements to LOTOS"
1998-1999: Project manager of the joint research action VERDON
2001-2003: Member of the Advisory Board of the national technology transfer project PARFUMS
2002: Member of the Steering Committee of ETAPS (European Joint Conferences on Theory and Practice of Software)
2004-2008: Member of the Scientific Board of the System-on-Chip pilot research center between CEA/LETI and INRIA
2004-2007: Co-leader (with Jaco van de Pol) of the SENVA Joint Research Team between CWI and INRIA
2005-2011: Member of the Steering Board of the TOPCASED consortium
2006-2010: Member of the Steering Committee of Minalogic's MULTIVAL project
2006-now: Member of IFIP Working Group 1.8 on Concurrency Theory
1998-2001: Member of the Commission de spécialistes informatique et mathématiques at INPG.
1997, 1998, 2000, 2004, 2005, 2006, 2016: Member of the Commission for hiring Research Officers at INRIA Grenoble Rhône-Alpes.
2002-2005: Member of the Budget Commission of INRIA Grenoble Rhône-Alpes
2005-2015: Member of the Software Workgroup of Minalogic, formerly known as EMSOC (Embedded System on Chip)
2007-2011: Member of the Scientific Council of GIS 3SGS
2012: Member of DFG Review Panel for the German Excellence Initiative
2016-2020: Member of Executive Commission on International Relations of COMUE Université Grenoble Alpes