Catalin Hritcu's Photo

Cătălin Hriţcu

Researcher (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 on the CRASH/SAFE project under the supervision of Benjamin C. Pierce. I was a member of the Penn PL Club.

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



E-mail (preferred):

Address: Inria Prosecco team, 23 Avenue d'Italie, 75013 Paris, France

Office: #31 (5th floor)

Searching for Students

I am looking for talented, highly motivated students, for research internships, MSc and PhD theses, etc. Here are two projects to which a student could contribute:

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

Recent and Upcoming Talks

For a complete list of my talks please look here.

Recent Teaching

For a complete list of my teaching please look here.

Advised Students