POPL 2026
Sun 11 - Sat 17 January 2026 Rennes, France
Cătălin Hriţcu

Registered user since Wed 27 May 2015

Name:Cătălin Hriţcu
Bio:

Cătălin Hrițcu is a tenured faculty member and head of the Formally Verified Security group at the Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, Germany. He is particularly interested in formal methods for security (secure compilation, compartmentalization, memory safety, speculative execution defenses, information flow control, security protocols), programming languages (program verification, proof assistants, dependent types, formal semantics, mechanized metatheory, property-based testing), and the design and verification of security-critical systems (reference monitors, secure compilation chains, tagged architectures). He was awarded an ERC Starting Grant on formally secure compilation, and was also involved in the design of the F* verification system. Catalin received a PhD from Saarland University, a Habilitation from ENS Paris, and was previously also a Tenured Researcher at Inria Paris, a PostDoc at University of Pennsylvania, and a Visiting Researcher at Microsoft Research Redmond.

Country:Germany
Affiliation:MPI-SP
Research interests:Formally verified security

Contributions

Show activities from other conferences

Using general profile