Cryspen ERC PoC Grant

Karthik Bhargavan wins an ERC Proof of Concept grant to commercialise formal verification research through Cryspen.

Cryspen co-founder Karthik Bhargavan got awarded an ERC Proof of Concept grant for commercialising the know-how and landmark research results from his Inria research group PROSECCO through Cryspen. …