Meet ApplyKite Twin, the application assistant that learns with you

Meet your Twin, it learns with you

Your Twin learns with you

Launch week codes:30% off annual Pro20% off monthly Pro

Ends in00h00m00s

Dominique Devriese

Professor

KU Leuven

Belgium

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

Professors in Belgium Professors in Artificial Intelligence Artificial Intelligence professors in Belgium

About

Dominique Devriese is a Professor at KU Leuven in Belgium. His research areas focus on logical frameworks, program verification, and parametricity, as demonstrated in his recent articles including "BiSikkel: A Multimode Logical Framework in Agda" and "Efficient and Provable Local Capability Revocation Using Uninitialized Capabilities." He contributes significantly to the fields of functional programming and type theory, exploring concepts such as semantic expressiveness and symbolic execution.

Articles (15)

Year:

2026

Year:

2026

Year:

2025

Year:

2024

Year:

2024

Year:

2022

Year:

2022

Year:

2022

Year:

2022

Year:

2021

Year:

2021

Year:

2021

Year:

2021

Year:

2021

Year:

2020

Collaborators (4)

Aïna Linn Georges

Max Planck Institute for Software Systems

GERMANY

View details

Lars Birkedal

Aarhus University

DENMARK

View details

Sander Huyghebaert

Vrije Universiteit Brussel

BELGIUM

View details

Amin Timany

Associate Professor

Aarhus University

DENMARK

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Dominique Devriese

Research Interests

Make your next move.

Explore related searches

About

Articles (15)

Cerisier: A Program Logic for Attestation in a Capability Machine

SoK: Robust properties, robust abstractions and back-translations

BiSikkel: A Multimode Logical Framework in Agda

Internal and Observational Parametricity for Cubical Agda

Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code

Two Parametricities Versus Three Universal Types

Plausible sealing for gradual parametricity

Verified symbolic execution with Kripke specification monads (and no meta-programming)

Purity of an ST monad: full abstraction by semantically typed back-translation

Efficient and Provable Local Capability Revocation Using Uninitialized Capabilities

Fully Abstract from Static to Gradual

On the Semantic Expressiveness of Recursive Types

Linear capabilities for fully abstract compilation of separation-logic-verified code

StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities

Gavial: Programming the web with multi-tier FRP

Collaborators (4)

Aïna Linn Georges

Lars Birkedal

Sander Huyghebaert

Amin Timany

Make your next move.