Home
>
About LRI
>
Personnel
> PASCUTTO Clément
About LRI
Organisation chart
LRI members
Leadership
Activity report
Groups
Collaborations
Research results
Open positions
Teaching
Useful informations
Mr PASCUTTO Clément
Doctorant
unknown
Verification of Algorithms, Languages and Systems
Tel :
Fax :
Office : 64/PCRI-S
Personal web page :
Email :
Clement.Pascutto@lri.fr
Ph.D. dissertations & Faculty habilitations
Thesis in progress -
Vérification dynamique et déductive de programmes OCaml et application à des structures de données distribuées