• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
20102021

Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Expertise

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.

Fingerprint

Dive into the research topics where Dominique Devriese is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or