Fran├žais Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > MOY Yannick
About LRI
Mr MOY Yannick

Warning: this member left the laboratory on 31/12/2008
 
MOY Doctorant
INRIA
Toccata

Tel : (+33) 1 72 92 59 97
Fax : (+33) 1 74 85 42 29
Office :

Personal web page : http://www.lri.fr/~moy/
Email : moy@lri.fr

Research activities
   - Automated deduction
   - Program proof








Software & Patents
   - Caduceus: Caduceus Tool for C Program Verification


Ph.D. dissertations & Faculty habilitations
Ph.D   - Automatic Modular Sataic Safety Checking for C Programs

Contracts & Grants
   - CAT