Working groups
- 2021 | COFFY – CryptOgraphy & Formal method For privacY
- 2020 | vrAI: FOrmal VeRification and AI
- 2020 | TransForm: Transactions Formelles
- 2020 | SNAP: Simulations numériques et apprentissage
- 2020 | Net4Vertical – Network Issues in vertical Applications
- 2020 | Deep-TS – Apprentissage profond pour le traitement du signal
- 2019 | Théorie de l’Information
- 2019 | Algo: Algorithmique et complexité du Plateau de Saclay
- 2018 | UPSCaLe : Universality of Proofs in SaCLay
- 2018 | TheoBioR: Méthodes informatiques pour la modélisation et l’analyse des réseaux biologiques
- 2018 | SDT: Sécurité des données textuelles
- 2018 | RD: Distributed Networks
- 2018 | O’COMEX : Optical Communications in Comex
- 2018 | Extraction, Représentation et Visualisation de connaissance pour l’Enseignement Numérique ERVEN
- 2017 | TALSEM: Traitement Sémantique des Données Textuelles
- 2017 | Réseaux profonds et Représentations Distribuées
- 2017 | PeRSPECTiVE
- 2017 | Groupe de Travail E-Santé
- 2017 | FAN: Future Access Networks
- 2016 | SSSL
- 2016 | OVSTR Optimisation des Systèmes Temps Réel Optimizing Real-Time Systems
- 2015 | SciCoSense
- 2015 | SaSeFor
- 2015 | Interaction
- 2015 | D2K : De la Donnée à la Connaissance
- 2015 | Combinatoire
- 2014 | ELFIC
- 2013 | SHy
PhD
- 2021 | Interoperability and formal semantic proofs
- 2020 | SDRAM : Secure Dynamic ReAl-time Memory hierarchy
- 2020 | ReliAble : Extraction of relational information from text in specific domain – adaptability and scalability
- 2020 | ESCAPE: EcoSystem Causal Analysis Using PEtri net unfoldings
- 2020 | CoLeSIAw : Continuously Learning Complex Tasks via Symbolic Analysis
- 2019 | SW2SB
- 2019 | ROTOR Algorithmic properties of rotor walks in graphs, and related decision models
- 2019 | RANE
- 2019 | Discobole: Distributed computation for blockchain with long term security
- 2019 | BSM: Bayesian statistical methods for joint user activity detection, channel estimation, and data decoding in dynamic wireless
- 2018 | YAGO
- 2018 | XERES
- 2018 | VEHICAST
- 2018 | ICN
- 2018 | EPiPA
- 2017 | NFDM
- 2017 | iDIAB
- 2017 | HiDimStat
- 2017 | ECOMICENE
- 2016 | PERFECO
- 2016 | ModestBrood
- 2016 | ModestBrood
- 2016 | ELEFFAN
- 2016 | Compositional controller synthesis for hybrid systems
- 2016 | AlgoReCell
- 2016 | AlCoMol
- 2015 | SensoMotor-CVE
- 2015 | OPALE
- 2015 | Ergo Fast : Amélioration de performances pour le solveur SMT Alt-Ergo
- 2015 | DisMonTest
- 2015 | COT
- 2015 | CONTAIN
- 2014 | Index Coding
- 2014 | E-CloVis
- 2014 | BIPIMA
Post-docs
- 2020 | ATOM
- 2019 | UPACC
- 2019 | TacticTHo
- 2019 | SW2SB
- 2019 | PREGARI
- 2019 | PHONO
- 2019 | PERFRESO
- 2019 | LoRaWAN: Learning framework for radio resource allocation in LoRaWAN
- 2019 | LFAT
- 2018 |Meta Tracts: Parsimonious multi-resolution representations for modeling,visualizing and statistically analyzing brain tractograms
- 2018 |DIGIT: Distributed Pulse Generation in Bacterial Colonies
- 2018 | VASTE – Veracity Assesment in Spatio-TEmporal heterogeneous data. An application on Web animal epidemiological surveillance.
- 2018 | V-CODE – VIDEO CODING OPTIMIZATION USING DEEP GENERATIVE MODELS
- 2018 | MAEL
- 2018 | FAC
- 2018 | DynaRNA
- 2018 | DafPUP
- 2017 |CODECSYS: Contract Based Design of Cyber-Physical Systems
- 2017 | Post doc AI – based 5G networks for intelligent caching
- 2017 | LFAT
- 2017 | AMPHI
- 2016 | PHONO
Emerging Project
Guest Scientists
- 2021 I Valdério Anselmo Reisen
- 2021 | Georg STRUTH
- 2020 | Edward A. Lee
- 2019 | Rodrigo Fernandes De Mello
- 2019 | Jugurta Montalvo
- 2019 | Josu Doncel Vicente
- 2019 | Christine Tremblay
- 2019 | Antonio A. F. Loureiro
- 2018 | Steve Whittaker
- 2018 | Ramon Pino Pérez
- 2018 | Marylin Walker
- 2018 | Juliana Freire
- 2018 | Claudio Silva
- 2017| Catherine Plaisant
- 2017 | Timothy Miller
- 2017 | Antonella Molinaro
- 2016 | Kevin Bretonnel Cohen
- 2016 | James Lipton
- 2015 | Rahul Vaze