Catalin Hritcu's Photo

Cătălin Hrițcu

Tenured faculty and head of the Formally Verified Security group
at the Max Planck Institute for Security and Privacy (MPI-SP)
in Bochum, Germany.
I am also Adjunct Professor (APL) in the Faculty of Computer Science of Ruhr University Bochum (RUB) and PI of the CASA Excellence Center of RUB.

Between October 2013 and April 2020 I was a tenured researcher (chargé de recherche)
at Inria Paris in the Prosecco team. Between May 2011 and September 2013 I was a Postdoctoral Research Associate at the University of Pennsylvania, working under the supervision of Benjamin C. Pierce. In the fall of 2016 I held a Visiting Researcher position at Microsoft Research Redmond. I received my PhD from Saarland University in Saarbrücken, Germany and also a Habilitation from ENS Paris.

Quick Links: Contact; Interests; Group; Publications; Talks; Teaching; Tools; Misc

Looking for PostDoc

Postdoctoral Researcher position available in my Formally Verified Security group at MPI-SP. Looking for candidates with excellent research track record and publications at top conferences in PL (e.g., POPL and ICFP) and/or security (e.g., CCS and CSF).

Recent Research Projects



E-mail: or

Address: Universitätsstraße 142, 44799 Bochum, Germany

On the RUB Campus, Building: MB (aka TZR), Floor 1, Office: S-W 106

Research Interests

My research is primarily focused on developing rigorous formal techniques for solving security problems. I am particularly interested in:

Formally Verified Security Research Group

I am very fortunate to work with a group of outstanding students and starting researchers:

For a complete list of past members of my group please look here.

Recent Publications and Drafts

For a complete list of my papers please look here (also on DBLP and Google Scholar).


Here are my recent and upcoming talks. For a complete list of my talks please look here.


Here are my recent courses. For a complete list of my teaching please look here.

Software Tools

Here are my current software projects. For a complete list of software please look here.