Pôle Preuve et langages

Members

Faculty

Armaël Guéneau

Safouan Taha

Emeriti

Postdocs and Engineers

Paul Bonnot

Adrien Durier

PhD Students

Léo Andrès

Luc Chabassier

Xavier Denis

Paul Geneau de Lamarliere

Yoan Geran

Mickael Laurent

Nicolas Meric

Josué Moreau

Houda Mouhcine

Clément Pascutto

Quentin Petitjean

Andrew Samokish

Julien Simonnet

Rébecca Zucchini

Visitors