PHD in Computer Science & Engg - Solving Recurrences for Program Verification
2:00pm - 5:00pm
Room 5501 (Lifts 25-26), 5/F Academic Building, HKUST
Event Format
Thesis Defense
Candidate
WANG, Chenglin
Language
English