Program Verification
Methods for proving correctness properties of real programs while keeping feedback useful for developers.
Programming Languages and Security at VU Amsterdam
PLSec@VU Amsterdam
We study programming languages, verification, type systems, and systems security, building foundations and tools for secure and reliable software.
Research Areas
Core directions for current and upcoming work.
Types and Semantics
Foundations and implementations for type systems, refinement typing, and semantic reasoning.
Security and Systems
Language-based techniques that improve software security across compilers, runtimes, and systems.
Team
Researchers and students in the group.
Klaus v. Gleissenthall
Faculty
Kristina Sojakova
Faculty
Sabine Oechsner
Collaborator
Robin Webbers
PhD Student
Alp Adnan Basar
PhD Student
Luís Ferreirinha
PhD Student
Wind Wong
PhD Student
Parnian (Anna) Naderi
PhD Student
Selected Publications
Recent work from the group.
Pantomime: Constructive Leakage Proofs via Simulation
PLDI, 2026
Symmetries in Sorting
TYPES 2025 Post-Proceedings (to appear), 2025
Refinement Type Refutations
OOPSLA, 2024
Latest Posts
Research explainers, technical articles, and project deep dives.
Refinement Type Refutations
How can a verification tool explain why a program fails to type check?
News
Short updates from the group.
Robin at PLDI26
Robin presented Pantomime at PLDI 2026 in Boulder, Colorado, USA