PHD in Electronic & Comp Engg - Scalable Formal Verification of HLS Designs: A Methodology with Semantic and Proof Awareness

Name: PHD in Electronic & Comp Engg - Scalable Formal Verification of HLS Designs: A Methodology with Semantic and Proof Awareness
Start: 2026-05-26
End: 2026-05-26

26 May 2026

3:00pm - 6:00pm

Room 4472 (Lifts 25-26), 4/F Academic Building, HKUST

Supporting the below United Nations Sustainable Development Goals:支持以下聯合國可持續發展目標：支持以下联合国可持续发展目标：

Event Format

Thesis Defense

Candidate

ZHOU, Xiaofeng

Language

English