Speaker

Ji Guan

Dr. Ji Guan is currently an Associate Research Professor at the Institute of Software, Chinese Academy of Sciences (CAS). His main research interests are formal methods for quantum computing, focusing on systematically addressing the security, privacy, and reliability of quantum systems by developing formal method (verification) theories, algorithms, and tools. He has published nearly 20 papers in top international conferences and journals in the field, such as CAV, FM, IEEE TIT, ACM CCS, and SICOMP. He was selected for the 10th Young Elite Scientists Sponsorship Program by the China Association for Science and Technology. He is a member of the Youth Innovation Promotion Association of CAS and a recipient of the Beijing High-level Overseas Talents Funding Program (top 30). In addition, he serves as a program committee member for several leading international conferences, including CAV and QCNC.

Talks at this event:

 Overview