Systems and
Formalisms Lab

Our team

Clément Pit‑ClaudelLab director
Aurèle BarrièrePost-doc(Jan 2023 – )
Shardul ChiplunkarPhD student(Feb 2023 – )
Yawen GuanPhD student(Feb 2023 – )
Alexandre PinazzaPhD student(co-adv., Sep 2023 – )
Can CebeciPhD student(co-adv., Oct 2023 – )
Kacper KorbanPhD student(Feb 2025 – )
Dylan VairoliMS course assistant(Spring 2024 –)
Dario HalilovicMS project(Spring 2025)
Robin HänniMS project(Spring 2025)
Flavien JaquerodMS project(Spring 2025)
Alexander MüllerMS project(Spring 2025)
François ThéronMS project(Spring 2025)
Leonard WilhelmMS project(Spring 2025)
Marcin WojnarowskiMS project(Spring 2025)
Lars WaldvogelMS project(Spring 2025)
Caroline Boyer de la GirodayLab admin
Valentin AebiMS project+thesis(2023, Fall 2024)
Eugène FlesselleMS project(Fall 2024)
Bastien JolidonMS project(Fall 2024)
Kelvin KappelerMS project(Fall 2024)
William KwanMS project(Fall 2024)
Tsung‑Han LiuMS project(Fall 2024)
Ludovic MermodMS assist.+project(Fall 2023 – Fall 2024)
Kevin SolmssenMS project(Fall 2024)
Basil ContovounesiosPhD student(AY 2023–24)
Noé De SantoMS thesis(Fall 2023 – Summer 2024)
Martin CrettolIntern(Summer 2024)
Léo WolffMS course assistant(Spring, Summer 2024)
Sophie AmmannMS thesis(Spring 2024)
Erwan SerandourMS thesis(Spring 2024)
Lucien BartMS project(Spring 2024)
Erik GiorgisMS project(Spring 2024)
Zacharie TevaearaiMS project(Spring 2024)
Arnaud Daby‑SeesaramVisiting pre-doc(AY 2023–24)
Julien de CastelnauMS scholar(AY 2023–24)
Matthieu BatyVisiting PhD(Mar–Aug 2023)
Baptiste LambertMS project(Fall 2023)
Shengyu HuangMS project(Spring 2023)
Thomas HouhouBSc project(Spring 2023)
Isabelle CokeLab admin(Spring 2023 – Fall 2024)