Joint Math/CS Colloquium

Formal verification of a concurrent file system

Time and Location:

March 04, 2022 at 11AM; 60 Fifth Avenue, Room 150

Speaker:

Tej Chajed, MIT