Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Dominique Devriese

Registered user since Tue 12 Aug 2014

Name: Dominique Devriese

Bio: My research interests are somewhat varied. I work on formalising properties of object-oriented and object-capability programming languages, specifically a property called effect parametricity. I am also interested in secure compilation and full abstraction properties and applying logical relations to prove them. Furthermore, I work on functional and dependently typed programming and programming languages. I have worked on a Haskell parsing library called grammar-combinators and have added instance arguments to the programming language/proof assistant Agda. I have also worked on information flow security, in particular a technique called secure multi-execution.

Country: Belgium

Affiliation: iMinds, Belgium

Personal website: https://distrinet.cs.kuleuven.be/people/dominiqu

Research interests: Functional Programming, Object Capabilities, Secure Compilation, Dependently-typed Programming

Contributions

HOPE 2016Committee Member in Program Committee within the HOPE-track
ICFP 2016Committee Member in External Review Committee within the Research Papers-track
Author of Unifiers as Equivalences: Proof-Relevant Unification of Dependently Typed Data within the Research Papers-track
Show activities from other conferences

ICFP 2016-profile
View general profile