Quantum Program Verification
林濬璈教授臺北科技大學創新前瞻科技研究學院 15:30 – 17:00 鴻經館 M107
Abstract：
Program verification is a foundational discipline in computer science that ensures software correctness through formal methods, often contrasted with software testing. While testing explores specific inputs and observes outputs to detect errors, verification provides mathematical guarantees about a program’s behavior for all possible inputs. On the other hand, with the rise of quantum computing, a new frontier in program verification has emerged: quantum program verification. Quantum programs, unlike classical ones, exploit the principles of superposition, entanglement, and probabilistic outcomes, presenting unique challenges.
In this talk, I will give an introduction to program verification and several recent approaches to the challenges of quantum program verification.
20241114演講_林濬璈教授 (臺北科技大學創新前瞻科技研究學院)