Lecture:Asst. Prof. LIN,Jyun-Ao
Time & Date: 3:00 PM – 5:00 PM, Nov. 12th, 2026 (Thursday)
Venue: Lecture Hall II, Integrated Technology Complex
Topic: Quantum Program Verification — Formal Methods for Reliable Quantum Programs