PhD Comprehensive Proposal Examination - Murphy Thomas Reynolds Berzish

Wednesday, November 21, 2018 10:00 am - 10:00 am EST (GMT -05:00)

Candidate: Murphy Thomas Reynolds Berzish

Topic: Solvers for Theories over  Strings and Regular Expressions

Date: November 21, 2018

Time: 10:00 AM

Place: EIT 3145

Supervisor(s): Ganesh, Vijay

All are welcome to attend.