Email
colin [point] riba [a] ens-lyon.fr
Functions and responsibilities
Head of the Computer Science entrance examination
Research fields
Modal logic, game semantics and tree automata
Office
322N