POPL 2017
Sun 15 - Sat 21 January 2017
Cătălin Hriţcu

Registered user since Wed 27 May 2015

Name: Cătălin Hriţcu

Bio: Catalin is a tenured Research Scientist at Inria Paris where he develops rigorous formal techniques for solving security problems. He is particularly interested in formal methods for security (memory safety, compartmentalization, dynamic monitoring, integrity, security protocols, information flow), programming languages (type systems, verification, proof assistants, property-based testing, semantics, formal metatheory, certified tools), and the design and verification of security-critical systems (reference monitors, secure compilers, microkernels, secure hardware). He is actively involved in the design of the F* verification system and was recently awarded an ERC Starting Grant on secure compilation. Catalin was a PhD student at Saarland University and a Research Associate at University of Pennsylvania before joining Inria Paris in 2013.

Affiliation: Inria Paris

Personal website: http://prosecco.gforge.inria.fr/personal/hritcu/

Research interests: Formal methods for security


SCM 2017Committee Member in Organizing Committee within the SCM-track
Presenter of What is Secure Compilation? Part II (Short talk) within the SCM-track
POPL 2017Committee Member in Program Committee within the POPL-track
Author of Beginner's Luck: A Language for Property-Based Generators within the POPL-track
Session Chair of Security and Privacy (part of POPL)
Author of Dijkstra Monads for Free within the POPL-track
Show activities from other conferences

POPL 2017-profile
View general profile