Enseignants et chercheurs :
Doctorants et post-doctorants :
- Albert Francisco (Langages, types et logique)
- Angelier Pierre (Géométrie, combinatoire et algorithmes)
- Balat Vincent (Langages, types et logique)
- Baudron Olivier (Complexité et cryptographie)
- Brunet Olivier (Sémantique et interprétation abstraite)
- Egger Jeffrey (Langages, types et logique)
- Hong Dohy (Modélisation et contrôle des réseaux
- Loddo Jean-Vincent (Langages, types et logique)
- Martin James (Modélisation et contrôle des réseaux)
- Massé Damien (Sémantique et interprétation abstraite)
- Mauborgne Laurent (Sémantique et interprétation abstraite)
- Moll Laurent (Systèmes reconfigurables)
- Monniaux David (Sémantique et interprétation abstraite)
- Nguyen Phong (Complexité et cryptographie)
- Nicolet Stéphane (Langages, types et logique)
- Pornin Thomas (Complexité et cryptographie)
- Poupard Guillaume (Complexité et cryptographie)
- Santini Gabriele (Langages, types et logique)
- Schächter Vincent (Langages logiques et contraintes)
- Soliman Sylvain (Langages logiques et contraintes)
- Tchoumatchenko Konstantin (Modélisation et contrôle des réseaux)
- Védrine Franck (Sémantique et interprétation abstraite)
- Venet Arnaud (Sémantique et interprétation abstraite)
Personnel administratif :
- Isnard Joëlle (Services généraux)
- Mongiat Valérie (Services généraux)
- Riou Nadine (Services généraux)