Building Fully Trustworthy Sequential and Concurrent System Software

Time and Location:

March 22, 2017 at 2PM; 60 Fifth Avenue, Room 150

Speaker:

Ronghui Gu, Yale University