Cătălin Hrițcu – Logic, Functional Programming

Cătălin Hrițcu – Logic, Functional Programming

Cătălin Hrițcu is a researcher at Inria Paris where he develops rigorous formal techniques for solving security problems.

He is particularly interested in formal methods for security (secure compilation, 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 compilation chains, secure hardware).

He is actively involved in the design of the F* verification system and was awarded an ERC Starting Grant on secure compilation with Coq.

Catalin was also a PhD student at Saarland University, a Research Associate at University of Pennsylvania, and a visiting researcher at Microsoft Research Redmond.

Suivez-nous :

Les commentaires sont clos.
Facebook
Facebook
RSS