The Programming Languages and Formal Methods group at EPFL is home to researchers working on the design, implementation, and formal analysis of programming languages and software systems. Our work spans the complete spectrum from theoretical foundations to practical tools and real-world systems, with close ties to colleagues across EPFL working in adjacent areas.