PHD in Computer Science & Engg - Practical Symbolic Static Analysis for Effective Bug Detection
3:00pm - 6:00pm
Room 3494 (Lifts 25/26), 3/F Academic Building, HKUST
Supporting the below United Nations Sustainable Development Goals:支持以下聯合國可持續發展目標：支持以下联合国可持续发展目标：
活動形式
論文答辯
候選人
GUO, Yiyuan
語言
英文