Google ASPIRE grant to Birkedal and Pichon
Congratulations to assistant professor Jean Pichon and professor Lars Birkedal, both from the Logic and Semantics research group, who each have received USD 60,000 from Google to support their work on formal verification hypervisors.