【114/4/17】15:20-16:10 Colloquium：Prof. LIN, Jyun-Ao (National Taipei University of Technology)
| Colloquium | |
|
|
|
| Date | 2025-4-17 15:10-16:00 |
| Place | Mathtmatics Building 1F Classroom 3173 |
| Speaker | Prof. LIN, Jyun-Ao (National Taipei University of Technology) |
| Title | Quantum Program Verification |
| Abstract | 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. |
|
|
|