Aarhus University Seal

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.