Dr. Xiaolong Guo is an Associate Professor in the department of Electrical and Computer Engineering Department at Kansas State University. He got his Bachelor's degrees in Electronic Engineering from Beijing University of Posts and Telecommunications and the University of London in 2010, respectively. Subsequently, he obtained his Master's degree in Electronic Engineering from Beijing University of Posts and Telecommunications in 2013. He completed his Ph.D. in Computer Engineering at the University of Florida in 2019.
His research focuses on large language models, cyber security, and formal verification. Dr. Guo has received several accolades, including Best Paper Awards at DATE 2019 and AsianHost 2020, and a Best Paper Nomination at ASP-DAC 2021. He was honored with the Outstanding Assistant Professor Award from the Carl R. Ice College of Engineering at K-State, as well as the First Award and REI Award from Kansas NSF EPSCoR. He is the recipient of the 2024 NSF CAREER Award.

Email: guoxiaolong@ksu.edu 

His research interests center on applying formal methods and generative AI to detect hardware and cybersecurity issues. Specifically, his current work encompasses the following areas:

• Domain-Specific Applications of Large Language Models (LLMs)

• Hardware Security, Side-channel Measurements, Microarchitectural Level Security, Hardware and Software Co-Security Verification

• Formal Verification, Program Analysis