About me
This is Wan-Hsuan’s home on the web.
I am a Ph.D. student affiliated with VAST lab at the University of California, Los Angeles. I received a Bachelor degree in Electrical Engineering from National Taiwan University in 2021. My research interests are quantum computing, automata theory, and physical design.
Education
- B.S. in Electrical Engineering, National Taiwan University, 2021
- M.S. in Computer Science, University of California, Los Angeles, 2024
- Ph.D in Computer Science, University of California, Los Angeles, Present
Publications
- Bochen Tan, Wan-Hsuan Lin, and Jason Cong, “Compilation for Dynamically Field-Programmable Qubit Arrays with Efficient and Provably Near-Optimal Scheduling,” in Proceedings of IEEE/ACM Asia and South Pacific Design Automation Conference (ASP-DAC), 2025
- Chen-Chia Chang, Wan-Hsuan Lin, Jingyu Pan, Guanglei Zhou, Zhiyao Xie, Jiang Hu, and Yiran Chen, “PRICING: Privacy-Preserving Circuit Data Sharing for Lithographic Hotspot Detection,” in Proceedings of IEEE/ACM Asia and South Pacific Design Automation Conference (ASP-DAC), 2025
- Atefeh Sohrabizadeh, Wan-Hsuan Lin, Bochen Tan, Madelyn Cain, Sheng-Tao Wang, Mikhail D. Lukin, and J. Cong, “GNN-Based Performance Prediction of Quantum Optimization of Maximum Independent Set,” in Proceedings of IEEE/ACM International Conference on Computer Aided Design (ICCAD), 2024.
- Wan-Hsuan Lin, Jason Kimko, Bochen Tan, Nikolaj Bjorner, and Jason Cong, “Scalable Optimal Layout Synthesis for NISQ Quantum Processors,” Proceedings of ACM/IEEE Design Automation Conference (DAC), 2023
- Wan-Hsuan Lin, Bochen Tan, Murphy Yuezhen Niu, Jason Kimko, and Jason Cong, “Domain-Specific Quantum Architecture Optimization,” Journal on Emerging and Selected Topics in Circuits and Systems (JETCAS), 2022
- Wan-Hsuan Lin, Chia-Hsuan Su, and Jie-Hong Roland Jiang, “Language Equation Solving via Boolean Automata Manipulation,” Proceedings of IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2022
- Wan-Hsuan Lin, Chia-Hsuan Su, and Jie-Hong Roland Jiang, “Language Equation Solving via Boolean Automata Manipulation,” International Workshop on Logic & Synthesis (IWLS), 2022. [Best Paper Nomination]
- Wei-Hsiang Tseng, Chen-Hao Hsu, Wan-Hsuan Lin, and Yao-Wen Chang, “A Bridge-based Compression Algorithm for Topological Quantum Circuits,” IEEE Transactions on Computer-Aided Design of Integrated Circuits ans Systems (TCAD), 2022.
- Chen-Hao Hsu, Wan-Hsuan Lin, Wei-Hsiang Tseng, and Yao-Wen Chang, “A Bridge-based Compression Algorithm for Topological Quantum Circuits,” Proceedings of ACM/IEEE Design Automation Conference (DAC), 2021.
- Yu-Neng Wang, Yun-Rong Luo, Po-Chun Chien, Ping-Lun Wang, Hao-Ren Wang, Wan-Hsuan Lin, “Compatible Equivalence Checking of X-Valued Circuits,” Proceedings of IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2021.
Peprints
- Wan-Hsuan Lin and Jason Cong, “ML-QLS: Multilevel Quantum Layout Synthesis,” arXiv:2405.18371.
Teaching
- CS 32: Introduction to Computer Science II, Undergraduate course, UCLA, Computer Science Department, 2023
- Introduction to Electronic Design Automation, Undergraduate course, National Taiwan University, Electrical Engineering Department, 2021
- Algorithms, Undergraduate course, National Taiwan University, Electrical Engineering Department, 2020
Work experience
- Jan. 2022 - Present: Graduate Student Researcher
- VAST Lab, University of California, Los Angeles
- Adivisor: Professor Jason Cong
- Jun. 2019 - Nov. 2021: Undergraduate Research Student
- ALCom Lab, National Taiwan University
- Adivisor: Professor Jie-Hong R. Jiang
- Feb. 2020 - Oct. 2021: Undergraduate Research Student
- EDA Lab, National Taiwan University
- Adivisor: Professor Yao-Wen Chang
- Sep. 2018 - Jan. 2019: Undergraduate Research Student
- Speech Processing and Machine Learning Lab, National Taiwan University
- Adivisor: Professor Hung-yi Lee
Honors & Awards
- Top 10 - 2021 IEEE/ACM ICCAD CAD Contest - Problem B
- College Student Research Creativity Award - 2021 Ministry of Science and Technology
- College Student Research Scholarship - 2020 Ministry of Science and Technology
- Macronix Science Scholarship - 2018 Macronix Education Foundation
Skills
- Programming languages
- C/C++, Python, Verilog, Matlab
- Deep Learning Toolkits
- Pytorch, Tensorflow
- Quantum Programming Toolkits
- Qiskit, Cirq
Talks
Scalable Optimal Layout Synthesis for NISQ Quantum Processors
Talk at ACM/IEEE Design Automation Conference (DAC), San Francisco
Language Equation Solving via Boolean Automata Manipulation
Talk at IEEE/ACM International Conference on Computer-Aided Design (ICCAD), San Diego
Language Equation Solving via Boolean Automata Manipulation
Talk at 31st International Workshop on Logic & Synthesis (IWLS), Virtual
Domain-Specific Quantum Architecture Optimizations
Talk at Center for Domain Specific Computing Annual Review, Los Angeles CA, USA