Prof. Sanjiang Li

My research interests are mainly in quantum circuit verification, quantum AI, knowledge representation, and artificial intelligence. The main objective of my previous research was to establish expressive representation formalism of spatial knowledge and provide effective reasoning mechanisms. My research in quantum artificial intelligence aims to develop quantum algorithms for solving AI problems and to apply AI methods in solving classical problems in quantum computing. For example, with Yuan Feng, I developed efficient AI methods to attack the quantum circuit transformation problem (i.e., qubit mapping).  Our group also developed tensor decision diagrams (TDDs) for representation and reasoning with quantum circuits and has applied TDDs in approximate equivalence checking of noisy quantum circuits. Some of these works are published in IEEE TC, IEEE TCAD, ICCAD’20, DAC'21, ACM TODAES.