Gushu Li

Assistant Professor

Computer and Information Science Department

Electrical and System Engineering Department (Secondary)

School of Engineering and Applied Science

University of Pennsylvania

Contact: gushuli at seas dot upenn dot edu

Office: Towne 278

"More is Different." -- Philip W. Anderson

Welcome to my homepage! I am Gushu Li, an Assistant Professor in the Department of Computer and Information Science at the University of Pennsylvania. I lead the Penn Quantum System Lab.

Quantum computing is an interdisciplinary field that involves mathematics, physics, computer science, electrical engineering, and so on. In our lab, we attack critical quantum computing problems of both scientific interest and practical usage. Our research endeavors range from software to hardware. Our research objective is to understand and develop powerful quantum computer systems by combining theoretical foundations and practical implementation. Join us on this transformative journey as we navigate the frontiers of quantum computing and explore the exciting possibilities it offers!

Opening: I am looking for self-motivated Ph.D. students in the direction of quantum computing. Please send me an email with your CV if interested. I am in the process of assembling a team of students with a wide range of backgrounds and expertise.

Research Interest:

Quantum Compiler; Quantum Programming Language; Quantum Algorithm Optimization; Quantum Computer Architecture; Quantum Electronic Design Automation.

Highlights and Impacts:

Our research has been widely recognized by the community, including a Distinguished Paper Award at OOPSLA'20 and an NSF Quantum Information Science and Engineering Network (QISE-NET) Triplet Fellowship Grant. Our research output has been adopted by several industry and academia quantum software frameworks, and widely used in the community.

Our qubit mapping algorithm SABRE [ASPLOS'19] has been selected as the default mapping algorithm in IBM's Qiskit, and has also been widely adopted by other quantum software frameworks, including Oak Ridge National Lab's XACC/QCOR compiler.
Our Paulihedral compilation framework [ASPLOS'22] has been integrated into Qiskit.
Our projection-based assertion technique [OOPSLA'20] has also been adopted by Quantinuum's TKET.

Awards and Honors:

2022, Doctoral Student Travel Grant, UCSB
2022, ECE Dissertation Fellowship, UCSB
2021, Student Travel Grant, NanoCom
2021, Quantum Information Science and Engineering Network (QISE-NET) Triplet Fellow Award, NSF
2020, ACM SIGPLAN Distinguished Paper Award, OOPSLA
2020, Young Student Fellow Award, DAC
2020, Student Travel Grant, ASPLOS
2019, Student Travel Grant, ASPLOS
2017, Regents Fellowship, Department of Electrical and Computer Engineering, UCSB
2017, International Doctoral Recruitment Fellowship, UCSB
2016, Student Travel Grant, VTS
2016, University Unstricted Fellowship, UChicago
2015, A. Richard Newton Young Student Fellow Scholarship, DAC 2015
.......

Media:

- - - - "How to Test a Quantum Program" at ACM SIGPLAN blog PL Perspectives