|
 |
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
|