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.
- Trefwoorden (Vrije Universiteit Brussel):Informatica
- 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.
- Zie ook: Dominique Devriese (KU Leuven)