معرفی
Dominique Devriese is a researcher affiliated with Vrije Universiteit Brussel, specializing in Secure Compilation, Capability Machines, Functional Programming, and Dependently-typed Programming. His work bridges theoretical foundations with practical applications in programming language design and security verification.
- Active contributor to top-tier conferences like POPL, ICFP, and PriSC
- Program Committee member for CPP, CoqPL, and Haskell tracks
- Session Chair for Type Systems and Verification sessions
His research explores secure calling conventions, parametricity, and capability safety, often leveraging formal methods and type theory to ensure robust system behavior. Recent publications focus on Cubical Agda, CHERI architecture, and gradual typing. Though no awards or students are explicitly listed, his contributions to program committees and co-located events like PriSC and WGT highlight his academic engagement.
۰مقاله منتشرشده
