Home
>
About LRI
>
Personnel
> BAELDE David
About LRI
Organisation chart
LRI members
Leadership
Activity report
Groups
Collaborations
Research results
Open positions
Teaching
Useful informations
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