Pôle Preuve et langages

Members

Faculty

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

Julien Simonnet

Rébecca Zucchini

Visitors