Karthikeyan Bhargavan

Karthik leads the "PROSECCO" research team at INRIA. His research concerns the theory, design, and implementation of modern programming language features and formal verification techniques.  Recent work focuses on using formal methods to investigate the (in)security of distributed applications such as cryptographic protocols.

[TEACHER name="Bhargavan"]