PHD in Individual Interdisci Prog - Machine-Learning-Enabled Hardware Formal Verification 18 November 2025 10:45am - 1:45pm , HKUST Supporting the below United Nations Sustainable Development Goals:支持以下聯合國可持續發展目標:支持以下联合国可持续发展目标: Share Email Add to Calendar Event Format Thesis Defense Candidate HU, Guangyu Language English Post an event Campus organizations are invited to add their events to the calendar. Login Not a user? Request an account Change Users' Preferences