Joint Math/CS Colloquium

Verifying Concurrent, Crash-Safe Systems

Time and Location:

April 01, 2022 at 11AM; 60 Fifth Avenue, Room 150

Speaker:

Joseph Tassarotti, Boston College