Pôle Preuve et langages

Members

Faculty

Emeriti

Postdocs and Engineers

Paul Bonnot

Claude Stolze

Philippe Volte-Vieira

PhD Students

Léo Andrès

Luc Chabassier

Xavier Denis

Paul Geneau de Lamarliere

Paul Geneau de Lamarliere

Yoan Geran

Mickael Laurent

Nicolas Meric

Josué Moreau

Houda Mouhcine

Clément Pascutto

Quentin Petitjean

Vaishnav Rishikesh

Andrew Samokish

Julien Simonnet

Rébecca Zucchini

Visitors