Boris Köpf

Boris Köpf serves as a Scientific Director and Professor at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany, where he leads foundational research at the intersection of programming languages, formal verification, and security engineering.

His research focuses on developing rigorous mathematical frameworks for analyzing information leakage in software systems, with seminal contributions to quantitative information flow theory and static analysis techniques. Key areas include probabilistic program semantics, side-channel vulnerability detection, and formal models for privacy-preserving computations, applied to critical domains like web security and cryptographic protocols.

Professor Köpf actively supervises doctoral researchers within his dedicated security group at MPI-SWS, fostering next-generation methodologies for trustworthy software development through collaborative projects with academic and industrial partners across Europe.