Dr. Xiaolong Guo is an Assistant Professor in the Department of Electrical and Computer Engineering at Lehigh University. He earned his Ph.D. in Electrical and Computer Engineering from the University of Florida in 2019. His research focuses on large language models, hardware security, and formal verification.

Dr. Guo has received numerous accolades for his research, including Best Paper Awards at DATE 2019 and AsianHost 2020, and a Best Paper Nomination at ASP-DAC 2021. Prior to joining Lehigh University, he was recognized with the Outstanding Assistant Professor Award from the Carl R. Ice College of Engineering at Kansas State University, as well as the First Award and REI Award from Kansas NSF EPSCoR. He is also the recipient of the 2024 NSF CAREER Award.

Xiaolong Guo
Xiaolong Guo
Associate Professor
xig426@lehigh.edu

Education

Ph.D., Electrical and Computer Engineering, University of Florida, 2019
M.S., Electronic Engineering , Beijing University of Posts and Telecommunications, 2013
B.S., Electronic Engineering , Beijing University of Posts and Telecommunications, 2010
B.S., Electronic Engineering, University of London, 2010

Areas of Research

Generative AI, Hardware Security, Formal Verification, Cybersecurity, Machine Reasoning