[madPL] 6/8 Yu-Fang Chen Presentation

[LAUREN MARIE NEUDORF <lneudorf@xxxxxxxx>]

Hello Everyone, 

Yu-Fang Chen will be visiting campus this week 6/7-6/14 and you can sign up to meet with him here. 

He will also be giving a talk on "An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits" on 6/8 in room 3310 at 1pm. It will also be on zoom. We will also have free cookies to snack on. Please feel free to read his abstract/a brief bio about him below. 

Abstract:

In this talk, I will present a novel automata-based approach for verifying quantum circuits, denoted as the triple {P} C {Q}, where P and Q represent sets of quantum states, and C is the quantum circuit. Quantum states are commonly represented by decision trees labeled with probability amplitudes. Our approach employs tree automata to encode sets of trees, including the pre-condition (P) and post-condition (Q). Given a set P of input quantum states for circuit C, we have developed an algorithm that accurately computes the set of output states encoded as a tree automata. As a result, the verification problem reduces to the language inclusion testing problem of tree automata. Our evaluation demonstrates the scalability of our approach, as we have successfully verified a significant circuit with 40 qubits and 141,527 gates. Furthermore, we have successfully detected bugs injected into a circuit with 320 qubits and 1,758 gates. Finally, I will discuss ongoing research directions and aim to foster opportunities for future collaborations.

A brief bio about Yu-Fang: 

Since 2014, Dr. Chen works as an associate research fellow at the Institute of Information Science, Academia Sinica, Taiwan. He was an assistant research fellow at the same institute from 2009 to 2014. His current research focus includes (1) applications of formal methods in MapReduce programs and (2) synthesis and analysis models of programs/systems using machine learning. He regularly publishes at conferences such as CAV and TACAS. His paper titled "When simulation meets antichains (for checking language inclusion of NFA''s)" won the best theory paper award at ETAPS 2010. 

Best,

Lauren Neudorf

Program Manager, MadPL Research Group

University of Wisconsin-Madison

Department of Computer Sciencesâ

(716) 704-4463

(she/her/hers)