![](https://www.comp.nus.edu.sg/~sochr/www/stfphotos/olivier.jpg)
COM2-03-38
651 62936
![](https://www.comp.nus.edu.sg/~sochr/www/stfphotos/SZePUUjYarLraivsotVxkggDtaIgrGoC_b.jpg)
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