This is the homepage of the research team Comète at Inria – LIX, Ècole Polytechnique.
Our main research interests include:
- Security
- Privacy
- Fairness
- Information theory
- Concurrency theory
- Logic for computer science
- Formal methods in computer science