Xiaolong Guo | Associate Professor

Xiaolong GuoPh.D. - 2019, University of Florida
Department of Electrical and Computer Engineering
M.S. - 2013, Beijing University of Posts and Telecoms
School of Information and Communication Engineering
B.S. - 2010, Beijing University of Posts and Telecoms
International School
B.S. - 2010, University of London
School of Queen Mary

Contact information

3091 Engineering Hall
 guoxiaolong@k-state.edu

[ Personal Website ]

Professional experience

Prior to joining the faculty at Kansas State University, Xiaolong Guo earned his Ph.D. in Electrical and Computer Engineering from 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. Most recently, he is the recipient of the 2024 NSF CAREER Award.

Research

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
Academic highlights
  • Open/Alternative Textbook Initiative (OATI) Award from Kansas State University, Spring 2024
  • Carl R. Ice College of Engineering Outstanding Assistant Professor Award, 2024
  • REI Award from Kansas NSF EPSCoR, 2024
  • Faculty Early Career Development, or CAREER, Award from the National Science Foundation, 2024.
  • First Awards from Kansas NSF EPSCoR, 2023
  • Best Paper Nominate in 26th Asia and South Pacific Design Automation Conference (ASP-DAC), 2021.
  • Best Paper Award in IEEE Asian Hardware Oriented Security and Trust Symposium (AsianHOST), 2020.
  • Best Paper Award in Design, Automation and Test in Europe Conference and Exhibition (DATE), 2019.