Guilhem
JABER

Coordonnées

Thèmes de recherche

Foundations of Mathematics, Semantics of Programming Languages, Formal Methods

Activités / CV

Parcours : Post-doctorant à l’Université Paris 7, et à School of Electronic Engineering and Computer Science à Queen Mary University, à Londres. Thèse à l’École des Mines de Nantes. Actuellement Post-doctorant (Labex MILYON), Université de Lyon, LIP, ENS de Lyon