Caroline Fontaine

Caroline Fontaine serves as a CNRS Research Director at the Formal Methods Laboratory (LMF), a joint research unit operated by CNRS, ENS Paris-Saclay, and University of Paris-Saclay. She concurrently directs the national Computer Security Research Group (GDR Computer Security), coordinating cybersecurity initiatives across French academic and research institutions.

Her research centers on Formal Methods and Computer Security, specializing in mathematically rigorous techniques for system specification, development, and verification. Key focus areas include cryptographic protocol analysis, security property validation, and formal verification of hardware/software systems, with applications in critical infrastructure protection and secure computing.

As leader of the Computer Security Research Group, she fosters interdisciplinary collaboration among researchers nationwide, driving innovation in security frameworks through formal mathematical approaches and promoting knowledge exchange via workshops and joint publications.