Catalin Hritcu's Photo

Cătălin Hrițcu

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.

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 recently also a Habilitation from ENS Paris.

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

Research Projects



E-mail (preferred):

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

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: I still closely collaborate with some former members of my group at Inria Paris:

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.