Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > LASSAIGNE Richard
About LRI
Mr LASSAIGNE Richard

Warning: this member left the laboratory on 31/12/2011
 
Maître de Conférences
Université Paris 7 (Diderot)
Algorithms and Complexity

Tel :
Fax :
Office :

Personal web page :
Email : lassaign@logique.jussieu.fr

Research activities
   - Verification
   - Software Testing
   - Model-Checking
   - Logic