User:Olivier Danvy

Olivier Danvy is a computer scientist. He is interested in all aspects of programming languages, from their logic and semantics to their implementation, including programming.

PhD, Université Pierre et Marie Curie (Paris VI), 1986

Faculty home page: https://www.yale-nus.edu.sg/faculty/olivier-danvy/

DBLP: https://dblp.org/pid/d/OlivierDanvy.html

Mathematical genealogy: http://www.genealogy.math.ndsu.nodak.edu/id.php?id=69398&fChrono=1

Current appointment:School of Computing & Yale-NUS College, National University of Singapore, Singapore