Wei-Lun Tsai - VMCAI 2025

Mon 20 - Tue 21 January 2025 Denver, Colorado, United States

co-located with POPL 2025

Registered user since Wed 16 Jun 2021

Name:Wei-Lun Tsai

Affiliation:Academia Sinica

Contributions

2025

POPL

Verifying Quantum Circuits with Level-Synchronized Tree Automata

PLanQC

An Automata-based Framework for Quantum Circuit Verification

Show activities from other conferences

POPL 2025-profile
View general profile