guillaume.hanrot [at] ens-lyon.fr Function Professor Functions and responsibilities Professor of Computer Science ENS de Lyon
