< Terug naar vorige pagina

Onderzoeker

Dominique Devriese

  • Onderzoeksexpertise  (Vrije Universiteit Brussel):

    Mijn onderzoeksinteresses zijn divers. Ik werk aan het formaliseren van eigenschappen van objectgeoriënteerde en object-capability programmeertalen, meer specifiek een eigenschap genaamd effectparametriciteit. Dicht gerelateerd hieraan is mijn werk rond formeel redeneren over capability machines (CPUs met een ingebouwde vorm van low-level object capabilities).  Ik ben ook geïnteresseerd in veilige compilatie en full abstraction en het gebruik van logical relations om ze te bewijzen.  Verder werk ik aan functioneel en dependently-typed programmeren.  Ik heb gewerkt aan een Haskell parsing bibliotheek genaamd grammar-combinators en heb instance arguments toegevoegd aan de programmeertaal/bewijsassistent Agda. In het verleden heb ik gewerkt rond information flow security, en een dynamische techniek om dit af te dwingen genaamd secure multi-execution.

  • Disciplines  (KU Leuven):Computersysteembeveiliging, Taalontwerp, -constructies en -eigenschappen, Programmeertalen en -technologieën
  • Gebruikers van onderzoeksexpertise  (Vrije Universiteit Brussel):

    Mijn onderzoeksinteresses zijn divers. Ik werk aan het formaliseren van eigenschappen van objectgeoriënteerde en object-capability programmeertalen, meer specifiek een eigenschap genaamd effectparametriciteit. Dicht gerelateerd hieraan is mijn werk rond formeel redeneren over capability machines (CPUs met een ingebouwde vorm van low-level object capabilities).  Ik ben ook geïnteresseerd in veilige compilatie en full abstraction en het gebruik van logical relations om ze te bewijzen.  Verder werk ik aan functioneel en dependently-typed programmeren.  Ik heb gewerkt aan een Haskell parsing bibliotheek genaamd grammar-combinators en heb instance arguments toegevoegd aan de programmeertaal/bewijsassistent Agda. In het verleden heb ik gewerkt rond information flow security, en een dynamische techniek om dit af te dwingen genaamd secure multi-execution.