COM2-03-38
651 62936
Olivier Gerard Henri Marie DANVY
ProfessorRESEARCH AREAS
RESEARCH INTERESTS
RESEARCH PROJECTS
RESEARCH GROUPS
TEACHING INNOVATIONS
SELECTED PUBLICATIONS
AWARDS & HONOURS
MODULES TAUGHT
CS3234
Logic for Proofs and Programs