Dominique Devriese

E-mail: Address:
Vrije Universiteit Brussel
Faculty of Sciences, DINF – SOFT
Pleinlaan 2
B-1050 Brussels, Belgium
dodevrie's picture

Job Description

I'm a professor at the Software Languages Lab of the Vrije Universiteit Brussel. Please consult my personal page for more information.

Research Description

My research interests are somewhat varied. Current topics:

  • formalising properties of object-oriented and object-capability programming languages, specifically a property called effect parametricity.
  • formal reasoning about capability machines (CPUs with a built-in form of low-level object capabilities).
  • secure compilation and full abstraction properties and applying logical relations to prove them.
  • functional and dependently typed programming and programming languages, particularly Agda and Haskell