Systems and
Formalisms Lab
Home
People
Research
Teaching
Publications
Contact
Apply!
Our team
Clément Pit‑Claudel
Lab director
Aurèle Barrière
Post-doc
(Jan 2023 – )
Shardul Chiplunkar
PhD student
(Feb 2023 – )
Yawen Guan
PhD student
(Feb 2023 – )
Alexandre Pinazza
PhD student
(Sep 2023 – )
Basil Contovounesios
PhD student
(Sep 2023 – )
Can Cebeci
PhD student (DSLAB)
(co-advised, Oct 2023 –)
Arnaud Daby-Seesaram
Visiting pre-doc
(Sep 2023 – Jun 2024)
Noé De Santo
MS thesis
(Fall 2023, Spring 2024)
Sophie Ammann
MS thesis
(Spring 2024)
Erwan Serandour
MS thesis
(Spring 2024)
Lucien Bart
MS project
(Spring 2024)
Erik Giorgis
MS project
(Spring 2024)
Zacharie Tevaearai
MS project
(Spring 2024)
Julien de Castelnau
MS scholar
(Sep 2023 – Aug 2024)
Ludovic Mermod
MS assistant
(Aug 2023 – )
Isabelle Coke
Lab admin
Dylan Vairoli
MS course assistant
(Nov 2023 – Feb 2024)
Baptiste Lambert
MS project
(Fall 2023)
Valentin Aebi
MS project
(Spring, Fall 2023)
Matthieu Baty
Visiting PhD
(Mar–Aug 2023)
Shengyu Huang
MS project
(Spring 2023)
Thomas Houhou
BSc project
(Spring 2023)