Visiting Researcher Talk: Dr. Yu-Fang Chen
"An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits"
Event Details
Date
Thursday, June 8, 2023
Time
1-2:30 p.m.
Location
Description
Dr. Yu-Fang Chen is from Institute of Information Science, Academia Sinica, Taiwan, and will be presenting on "An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits" before presenting at the PLDI Conference.
His webpage: https://homepage.iis.sinica.edu.tw/pages/yfc/vita_en.html
His webpage: https://homepage.iis.sinica.edu.tw/pages/yfc/vita_en.html
Cost
Free
Contact