題目：Quantum Program Verification

演講者 ：林濬璈 助理教授，創新前瞻科技研究學院

時間 ：2025/10/3(Fri) AM10:00 ~ PM12:00

參加對象：研究所碩士班及博士班學生