洪士涵 Shih-Han Hung

Assistant Professor, Department of Electrical Engineering, National Taiwan University

Major Research Areas:

Quantum Computing, Quantum Algorithms, Quantum Cryptograpy, Quantum Programming Language

Research Summary:

Shih-Han Hung has been actively advancing quantum information science and theoretical computer science since his graduate studies.

His research on quantum cryptography focuses on rigorous security analysis in the quantum world and exploring cryptography applications with near-term quantum devices. He has been studying the computational power of near-term quantum devices and quantum cryptography, leading him to propose the first certified randomness protocol from sampling-based supremacy experiments. He has been investigating classical verification of quantum devices, and proposed schemes to quantify quantum resources of fully uncharacterized devices.

His research on quantum programming languages focuses on enabling automated verification of quantum programs. Over the past few years, he participated in the project of verified optimization of quantum programs, where he and his collaborators exploited theorem provers to verify the absence of error in circuit optimization. He built formal verification systems that allow for syntactically verifying the robustness of quantum programs and differential quantum programs. His current focus is to develop efficient verification methods with classical or quantum computers.