Announcement_7

We have been awarded a grant from the Swiss National Science Foundation (SNSF) for the project “Formal Verification of Isolation Guarantees in Database Systems.” Congrats, Christoph! I am excited to contribute as an official project partner!