Back to Events

Thesis Defense: Towards a Verifiable Database Management System

Speaker

Yu Xia
CSAIL MIT

Host

Professor Srinivas Devadas

July 13 2022

10:30A - 11:30A

Location

Seminar Room G882 (Hewlett Room)
Add to Calendar 2022-07-13 10:30:00 2022-07-13 11:30:00 America/New_York Thesis Defense: Towards a Verifiable Database Management System Seminar Room G882 (Hewlett Room)

Organizer & Contact

Yu Xia