PHD in Computer Science & Engg - Solidifying and Scaling SMT-based Program Analysis
9:00am - 12:00pm
https://hkust.zoom.us/j/9933249158, HKUST
Event Format
Thesis Defense
Candidate
YAO, Peisen
Language
English