Junyi Liu is a postdoctoral scholar at QuICS, advised by Xiaodi Wu. His expertise lies in the analysis and verification of quantum software. His current focus is on designing software infrastructure to enhance the performance and accessibility of quantum devices. He received his Ph.D. in computer science from the Institute of Software, Chinese Academy of Sciences, under the supervision of Prof. Mingsheng Ying.