Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > PASKEVYCH Andriy
About LRI
Mr PASKEVYCH Andriy
Maître de Conférences
IUT Orsay
Verification of Algorithms, Languages and Systems

Tel : 01 69 15 69 03
Fax :
Office : 41/PCRI-S

Personal web page :
Email : Andrei.Paskevich@lri.fr

Research activities
   - Automated Proof, SMT and Applications
   - Deductive Verification of Programs


Joint Inria project teams
   - Toccata



Leadership positions
   - Responsible of degree
   - Member of the hiring committee






Contracts & Grants
   - Bware