Researcher
Dominique Devriese
- Research Expertise
(Vrije Universiteit Brussel):
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. My work on formal reasoning about capability machines (CPUs with a built-in form of low-level object capabilities). 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. In the past, I have also worked on information flow security, in particular a dynamic enforcement technique called secure multi-execution.
- Keywords (Vrije Universiteit Brussel):Computer science (incl. applied informatics)
- Disciplines (KU Leuven):Computer system security, Language design, constructs and features, Programming languages and technologies
- Users of research expertise
(Vrije Universiteit Brussel):
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. My work on formal reasoning about capability machines (CPUs with a built-in form of low-level object capabilities). 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. In the past, I have also worked on information flow security, in particular a dynamic enforcement technique called secure multi-execution.
- See also: Dominique Devriese (Vrije Universiteit Brussel)