COM2-03-38
651 62936

Olivier Gerard Henri Marie DANVY

Professor


RESEARCH AREAS

RESEARCH INTERESTS

RESEARCH PROJECTS

RESEARCH GROUPS

TEACHING INNOVATIONS

SELECTED PUBLICATIONS

AWARDS & HONOURS

MODULES TAUGHT

CS3234
Logic for Proofs and Programs