Pôle Preuve et langages

Members

Faculty

Gilles Dowek

Armaël Guéneau

Safouan Taha

Emeriti

Postdocs and Engineers

Alidra Abdelghani

Anthony Bordg

PhD Students

Léo Andrès

Benoît Ballenghien

Luc Chabassier

Thiago Felicissimo

Yoan Géran

Nicolas Margulies

Josué Moreau

Houda MOUHCINE

Quentin Petitjean

Andrei Samokish

Julien Simonnet

Melanie Taprogge

Visitors