Catalin Hritcu's Photo

Cătălin Hriţcu

Researcher (chargé de recherche) at Inria Paris-Rocquencourt 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.

News/Events

Searching for Students

I am looking for talented, highly motivated students, for research internships, MSc and PhD theses, etc. Here are some potential topics:

If you are interested you can find my contact information below.

Contact

E-mail (preferred): catalin.hritcu@gmail.com

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

Office (new): #31 (5th floor)

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.

Teaching

Advised Students

Software

Misc