Foto van Dominique Devriese

Dominique Devriese

  • Pleinlaan 2

    1050 Brussels

    Belgium

  • 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.
  • 6 Soortgelijke profielen

Netwerk

Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.
Uw bericht is met succes verzonden.
Uw bericht is niet verzonden wegens een fout.
Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.