|
 |
Maître de Conférences
IUT Orsay
Vérification d'Algorithmes, Langages et Systèmes
Tel : 01 69 15 69 03
Fax :
Bureau : 41/PCRI-S
Page personnelle :
Courrier électronique : Andrei.Paskevich@lri.fr |
Activités de recherche
- Démonstration automatique, SMT et applications
- Vérification déductive de programmes
Projets
- Toccata
Responsabilités administratives
- Responsable de filière
- Membre de la CCSU
Participations à des contrats
- Bware
|
