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 Cluster of Excellence at 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

News/Events

Contact

E-mail: catalin.hritcu@gmail.com or catalin.hritcu@mpi-sp.org

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).

Talks

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

Teaching

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.

Misc