Email colin [point] riba [a] ens-lyon.fr Website Research fields Modal logic, game semantics and tree automata Office 322N Year of study M1 M2