【114/4/17】15:20-16:10 Colloquium：林濬璈助理教授(台北科技大學創新前瞻科技研究學院)
發佈日期 :
2025-02-13
| Colloquium | |
|
|
|
| Date | 2025-4-17 15:20-16:10 |
| Place | 數學館1樓3173教室 |
| Speaker | 林濬璈助理教授(台北科技大學創新前瞻科技研究學院) |
| Title | Quantum Program Verification |
| 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 some recent approaches to the challenges of quantum program verification. |
|
|
|