Hubert Garavel |
|
|
Educational Background
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)
Employment History
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)
2012-now: Research scientist in the CONVECS resarch team common to INRIA and LIG. Visiting researcher at Saarland University
Scientific Prizes
IBM France Young Scientist Award in Computer Science (1990)
Gay-Lussac Humboldt Prize (2011)
Inria - Académie des Sciences - Dassault Systèmes Innovation Prize (2021)
Joint laureate with Frédéric Lang, Radu Mateescu, and Wendelin Serwe
Project Management
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"
1996-2007: Scientific co-supervisor of five collaborative projects between Bull and INRIA (Dyade/Vasy, Dyade/FormalCard, Dyade/FormalFame, FormalFame, and FormalFame +)
1998-1999: Project manager of the joint research action VERDON
1999-2002: Chairman of FMICS, the ERCIM Working Group on Formal Methods for Industrially Critical Systems
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
Research/Innovation Evaluation and Funding Committees
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
2011: Member of the ANR Evaluation Committee for Ingénierie Numérique et Sécurité
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