Catalin Hritcu's Photo

Cătălin Hriţcu

Research Scientist (chargé de recherche) at Inria Paris in the Prosecco team.

Between May 2011 and September 2013 I was Research Associate at the University of Pennsylvania, working under the supervision of Benjamin C. Pierce.

I received my PhD from Saarland University in Saarbrücken, Germany, where I held fellowships from the International Max Planck Research School for Computer Science (IMPRS-CS) and Microsoft Research Cambridge.



E-mail (preferred):

New address: 2 rue Simone Iff, 75012 Paris, France

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

Current Research Projects

Research Interests

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

Recent Publications and Drafts

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


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.

Currently Advised Students

For a complete list of past students please look here.

Software Tools

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