Systems and
Formalisms Lab

Our team

Clément Pit‑ClaudelLab director
Jérémy ThibaultPost-doc(Sep 2025 – )
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 – )
Victor DengMS+PhD student(Spring 2025 – )
Katarzyna MarekPhD student(Sep 2025 – )
Rudy PetersonPhD student(Feb 2026 – )
Yang WuPhD student (ETHZ)(co-adv., Sep 2025 – )
Dario HalilovicMS project, thesis(Spring 2025 & 26, AY 26–27)
Tsung‑Han LiuMS project, assist., thesis(AY 2024–25, Fall 26)
Rémy BerguerandMS assist., project(Summer 2025, Fall 26)
Jacopo MorettiMS thesis(Fall 2026)
Tymur TytarenkoMS thesis(Fall 2026)
Simon DesmaisonMS project(Fall 2026)
Charlie ManganoMS project(Fall 2026)
Hyunsoo LeeBS project(Fall 2026)
Caroline Boyer de la GirodayLab admin
Christophe GyurgyikVisiting PhD(Summer 2026)
Valentin SchneebergerMS thesis(Spring 2026)
Keegan PerryIntern(Summer 2026)
Rayhaneh EinollahiIntern(Summer 2026)
Marie PicardIntern(Summer 2026)
Raadhes ChandaluruIntern(Summer 2026)
Juliette PonsonnetIntern(Summer 2026)
Marcin WojnarowskiMS project, thesis(Spring 2025, AY 25–26)
Sidonie BouthorsMS project(AY 2025–26)
Roman BatutMS project(Spring 2026)
Tristan CendanMS project(Spring 2026)
Nora HinderlingMS project(Spring 2026)
France LuMS project(Spring 2026)
Julian MarmierMS project(Spring 2026)
Lilian NoeMS project(Spring 2026)
Mathilde PeruzzoMS project(Spring 2026)
Cassien RothMS project(Spring 2026)
Ender SariMS project(Spring 2026)
Paolo SoraviaBS project(Spring 2026)
Aurèle BarrièrePost-doc(Jan 2023–26)
Kelvin KappelerMS project, thesis(Fall 2024 & 25)
Guillaume CarrauxIntern, MS Project(Summer–Fall 2025)
Théo HollenderBS project(Fall 2025)
Emily KoblerMS project(Fall 2025)
Ariel Agathe PelayoMS project(Fall 2025)
Charlotte VadoriMS project(Fall 2025)
Arthur ChalardMS course assistant(Summer 2025)
Quentin CorradiVisiting PhD(Spring–Summer 2025)
Zacharie TevaearaiMS project+thesis(Spring 2024 & 25)
Dylan VairoliMS course assistant(Spring 2024 & 25)
Eugène FlesselleMS project(AY 2024–25)
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)
Lars WaldvogelMS project(Spring 2025)
Valentin AebiMS project+thesis(2023, Fall 24)
Bastien JolidonMS project(Fall 2024)
William KwanMS project(Fall 2024)
Lucie MermodMS assist.+project(Fall 2023 & 24)
Kevin SolmssenMS project(Fall 2024)
Basil L. ContovounesiosPhD student(AY 2023–24)
Noé De SantoMS thesis(AY 2023–24)
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)
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 HouhouBS project(Spring 2023)
Isabelle CokeLab admin(Spring 2023 – Fall 24)