Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > PASKEVYCH Andriy
Présentation
M. PASKEVYCH Andriy
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