The Programming Language Foundations Lab is the youngest member of the Institute for Programming Languages and Systems, founded in 2022. We're led by Professor Ralf Jung. Our research aims to give strong safety and correctness guarantees to real software and systems, by combining programming language theory and practical verification.