Permanent researchers
- Françoise BAUDE (Pr. UCA)
- Olivier DALLE (Ass. Pr. UCA, on leave at INSPEERE)
- Fabrice HUET (Pr. UCA)
- Etienne LOZES (Pr. UCA) head of the group
- Pascal URSO (Ass. Pr UCA)
Associates & Past Members
PhD students
- Loïc GERMERIE (2020 - ...) Separation logic for futures
- Mazen Ezzeddine (2020 - ... ) Distributed & scalable architectures with micro services for e-payment
- Killian Castillon du Perron (2021-...) Data streaming and Batch Processing onStamina: Optimizing the data processing path from the Kernel to the Middleware
Past PhD students
- Maeva ANTOINE (2012-2015)
- Michael BENGUIGUI (2012-2015)
- Léa EL BEZE (2015- early stop in 2016)
- Vincent KHERBACHE (2013-2016)
- Oleksandra KULANKHINA (2013-2016)
- Laetitia LAVERSA (2018 - 2021) Synchronizability of communicating finite state machines
- Pierre LECA (2017-2020) Combining active objects and BSP programs (joint supervision with Gaetan HAINS, Huawei)
- Alessio MANSUTTI (2017-2020) Reasoning with Separation Logics: Complexity, Expressive Power, Proof Systems (joint supervision with Stéphane DEMRI, LSV)
- Vincenzo MASTANDREA (2015-2017)
- Alessio PAGLIARI (2017-2020) Evaluating the Impact of Streaming Systems Design on Application Performance
- Justine ROCHAS (2013-2016)
- Sophie GE SONG (2013-2016)
- Damian VICINO (joint supervision with Carleton Un., Ottawa) (2013-2015)
Past Post-Docs
- Pédro VELHO (2015-2016)