Catalin Hritcu's Photo

Cătălin Hrițcu

Researcher (tenured, chargé de recherche) at Inria Paris in the Prosecco team.

Until September 2013 I was 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):

Current address: 2 rue Simone Iff, 75012 Paris, France (How to reach us)

Equivalent Address (address above is so new that mapping applications might not know it):
43 Rue du Charolais, 75012 Paris, France

Office: C218 (building C, 2nd floor)

Postal address: Inria Prosecco team, Centre de Recherche Inria de Paris,
2 rue Simone Iff, CS 42112, 75589 Paris Cedex 12, France

Research Interests

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

Research Group

I am very fortunate to work with a group of outstanding students, young researchers, and engineers:

For a complete list of present and 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.