Title: Quantum Program Verification
Speaker: Assistant Professor Chun-Ao Lin, College of Innovative Advanced Technology
Time: October 3, 2025 (Friday), 10:00 AM – 12:00 PM
Participants: Master’s and Doctoral Students