Peng Fu

Peng Fu is an Assistant Professor in the Department of Computer Science and Engineering at the Molinaroli College of Engineering and Computing, University of South Carolina. His academic career focuses on the theoretical foundations of programming languages with particular emphasis on quantum computing applications.

Dr. Fu received his educational training from prestigious institutions:

• Ph.D. in Computer Science from University of Iowa (2014)
• B.Eng. in Computer Science from Huazhong University of Science and Technology (2009)

Dr. Fu's research program centers around type theories, quantum programming languages, and their categorical semantics. His work bridges the gap between theoretical computer science and practical quantum computing applications. He develops formal systems that enable reliable quantum circuit programming through strong type systems and categorical models. His research has significant implications for the future of quantum software development, where correctness and reliability are paramount due to the fragile nature of quantum states.

An analysis of Dr. Fu's publication record reveals a consistent trajectory toward increasingly sophisticated quantum programming frameworks. Starting with foundational work on lambda encodings and type theory, he has progressively focused on quantum-specific challenges. His recent papers on Proto-Quipper variants demonstrate innovative approaches to quantum circuit programming with features like dynamic lifting, reversing, and control structures. The research shows strong integration of category theory with practical programming language design, creating bridges between abstract mathematical structures and executable quantum code.

Dr. Fu actively mentors the next generation of computer scientists, currently seeking Ph.D. students to join his research group. His teaching portfolio includes advanced courses such as CSCE 790: Quantum Programming Languages (Spring 2025) and CSCE 544: Functional Programming (Fall 2024), where he introduces students to cutting-edge concepts in programming language theory and quantum computing. His commitment to education extends to developing comprehensive course materials and providing guidance to graduate students pursuing research in quantum programming languages.

Dr. Fu maintains an active presence in the quantum computing research community, regularly presenting at major conferences including the International Conference on Quantum Physics and Logic (QPL), ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), and specialized quantum computing workshops. His work contributes to the growing ecosystem of quantum programming tools and methodologies that will be essential for practical quantum computing applications.