POPL 2021
Sun 17 - Fri 22 January 2021 Online
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 new 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, security protocols, information flow), 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 is also actively involved in the design of the F* verification system, which is used for building a formally verified HTTPS stack. Catalin received a PhD from Saarland University, a Habilitation from ENS Paris, and was previously also a Tenured Researcher at Inria Paris, a Postdoctoral Research Associate at University of Pennsylvania, and a Visiting Researcher at Microsoft Research Redmond.

Country: Germany

Affiliation: MPI for Security and Privacy

Personal website: http://prosecco.gforge.inria.fr/personal/hritcu/

Research interests: Formal methods for security


PriSC 2021Committee Member in Steering Committee within the PriSC 2021-track
CPP 2021Co-chair in Program Committee within the CPP 2021-track
Steering Committee Member in Steering Committee within the CPP 2021-track
PC and Conference Co-Chair in Organization Committee within the CPP 2021-track
Show activities from other conferences

Using general profile