| Équipes actuelles : | ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL |
| Anciennes équipes : | AnimatLab MALIRE MLIA REGAL SALSA SPI SPIRAL Whisper |
| Anciens thèmes : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- RIOBOO Renaud : “Programmer le Calcul Formel, de L'Algorithmique a la Sémantique”, soutenance 18/12/2002
- SENDRIER Nicolas : “Cryptosystèmes a clé publique basés sur les codes correcteurs d'erreurs”, soutenance 06/03/2002