• Bron: Scopus
  • Berekend op basis van aantal in Pure opgeslagen publicaties en citaties van Scopus
20102021

Onderzoeksresultaten per jaar

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Persoonlijk profiel

Expertise

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.

Vingerafdruk

Verdiep u in de onderzoeksgebieden waarop Dominique Devriese actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
  • 1 Soortgelijke profielen

Netwerk

Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of