Professor, CS Email : romain [dot] bourdais [at] centralesupelec [dot] fr Office number : CentraleSupélec, Rennes, 408