Biography

Bhargavan is a research scientist and co-founder of Cryspen, a company that works on high-assurance security-critical software. He is on leave from Inria, where he led a team of researchers working on formal verification and applied cryptography. Bhargavan has been involved in the design and analysis of IETF standards like TLS 1.3, HPKE, and MLS, and he and his colleagues build and maintain formally verified cryptographic libraries like HACL* and libcrux.