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

Warning: this member left the laboratory on 26/12/2011
 
Post-doctorant
CNRS
Toccata

Tel :
Fax :
Office : 70/PCRI-S

Personal web page :
Email : David.Baelde@lri.fr



Joint Inria project teams
   - Toccata






Software & Patents
   - ALEA: ALEA : A library for reasoning on random algorithms in Coq