Write a Blog >>
Cătălin Hriţcu

Registered user since Wed 27 May 2015

Name:Cătălin Hriţcu

Catalin is a Researcher at Inria Paris where he develops rigorous formal techniques for solving security problems. He is particularly interested in: formal methods for computer and network security (isolation, access control, information-flow control, integrity, security protocols), programming languages (rigorous semantics, type systems, verification, property-based testing, formal metatheory, formally certified tools), and the design and verification of security-critical systems (reference monitors, secure hardware, security-preserving compilers, etc). He received a PhD in Computer Science from Saarland University and afterwards worked for a while as a Research Associate at the University of Pennsylvania.

Affiliation:INRIA Paris
Research interests:Formal methods for security


PPS 2016 Making our Own Luck: A Language for Random Generators
CPP 2016 Committee Member in Program Committee within the CPP-track
POPL 2016 Dependent Types and Multi-Monadic Effects in F*
Show activities from other conferences

POPL 2016-profile
View general profile