Collaborators

PhD Students

Céline Bellanger

PhD student (2022–)

Inès Winandy

PhD student (2023–)

Julien Bortolussi

PhD student (2024–)

Elia Ghisellini

PhD student (2025–)

Umut Kurnaz

PhD student (2025–)

Postdocs

Elias Khalife PhD from Virginia Tech, VA, USA

Researchers & Faculty

Célia Picard

Professor at ENAC

Alexandre Chapoutot

Professor at ENSTA

Behçet Açıkmeşe

Professor at Univ. of Washington

Christophe Garion

Professor at ISAE-Supaero

Didier Henrion

Senior Researcher at LAAS-CNRS and Professor at Prague University

Professor at KAUST

Guillaume Brat

Researcher and Entrepreneur (Stealth mode)

Matthieu Martel

Professor at Univ. of Perpignan

Pierre Roux

Researcher at Onera

Remi Delmas

Researcher at AWS

Xavier Thirioux

Full Professor at ISAE-Supaero

Alumni

Pierre Roux

Researcher at Onera

Guillaume Davy

Formal Methods Engineer at Alstom

Raphael Cohen

ADAS Algorithm Engineer at Aptiv

Assalé Adjé

Associate Professor at Univ. of Perpignan

Hamza Bourbouh

Engineer at Google Zurich

Paul Rousse

Engineer at ArianeEspace

Farah Benmouhoub

ATER at Sorbonne Université

Yuanqi Mao

Engineer at Momenta, Shanghai

Sarah Li

Ass. Prof. at Georgia Tech, GA, USA

Arash Sadeghzadeh

Lecturer at Breda University of Applied Sciences, NL

Nicolas Nalpon

Formal method researcher at Dowsers

Dylan Janak

Aerospace Guidance Engineer at Amemtum, AL, USA, PhD 2025

Danil Berrah

PhD 2025 at Institut Polytechnique de Paris

Wahiba Bachiri

Univ. de Tlemcen, Algeria, PhD 2025

Maeva Ongale-Obeyi

MBDA, PhD 2026