Alain GIRAULT's home page

Gd'day! I am a senior researcher (aka "directeur de recherche") at INRIA, the French National Research Institute on Computer Science and Automatic Control. Since January 2005, I have been the scientific leader of the POP ART team. We focus on formal design and implementation methods for embedded systems. My own current research interests are:

Synchronous programming languages (Lustre, Esterel, Signal), in particular automatic parallelization methods for such programs, higher-order data-flow, dynamic reconfiguration and code mobility. I started this research during my PhD at Verimag.
Safe design methods for dependable embedded systems, in particular multi-processor static scheduling heuristics with fault-tolerance or reliability constraints, multi-criteria scheduling and optimization methods, discrete controller synthesis, automatic program transformations, and aspect-oriented programming (AOP).

In the past, I have also worked on the hybrid control of autonomous vehicles for automated highways. I started this research during my postdoc at UC Berkeley, in the PATH group.

I belong to the editorial board of the Journal of Embedded Systems and to the MEMOCODE'12 and LCTES'12 programme committees. I am also an external expert reviewer for DAC'12. Previously, I have been in the programme committees of SLAP'02, SLAP'03, SLAP'04, FTRTFT&FORMATS'04, MSR'05, EMSOFT'05, FMGALS'07, MSR'07, DATE'08, SLA++P'08, DATE'09, MSR'09, DATE'10, DATE'11, MEMOCODE'11, LAFT'11, and DAC'11.

From January to December 2008, I was on sabbatical leave in the Department of Electrical and Computer Engineering at the University of Auckland, in New-Zeland. I worked with Partha Roop and Zoran Salcic on convertibility verification, the SystemJ programming language, and the PRETzel precision timed architecture and PRET-C programming language. I was funded by INRIA and by a Marie Curie International Outgoing Fellowship within the 7^th European Community Framework Programme.

Finally, since May 2011, I have been the head of science (aka "délégué scientifique") for the INRIA Grenoble Rhône-Alpes research center. This represents a significant amount of work, on top of my job as head of the POP ART team. So bear with me if I do not reactive fast enough to your emails (I know that for someone claiming to work on reactive systems, this is a shame!).

Alain Girault's home page