Master of Science thesis defence

Yi Wang, a Master of Science candidate in the Department of Computer Science, will defend his thesis titled “AN IMPLEMENTATION OF SEPARATION LOGIC IN COQ ” on Tuesday, Oct 5, 2021 at 11 a.m. in virtual format.

The examination committee includes Cheryl McCormick, Chair; Michael Winter, Supervisor; Ethan Jackson, External Examiner (Vector Institute); and Naser Ezzati-Jivan and Robson De Grande, Committee Members.