| Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Anciennes équipes : | ACASA AnimatLab MALIRE MLIA Phare 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