Xiaolong Guo

Xiaolong Guo is an Associate Professor in the Department of Electrical and Computer Engineering at Kansas State University's Carl R. Ice College of Engineering. He earned his PhD in Electrical and Computer Engineering from the University of Florida in 2019, following MS and BS degrees from Beijing University of Posts and Telecommunications and the University of London. Prior to joining K-State, he conducted research focused on formal methods and security verification.

His research applies formal methods and generative AI to hardware and cybersecurity challenges, with three primary focus areas:

• Domain-specific applications of Large Language Models (LLMs)
• Hardware security including side-channel measurements and microarchitectural security
• Hardware/software co-verification and formal program analysis

He directs the KSU Hardware Security Lab which develops automated methods for securing hardware and cyber systems, with applications in IoT, smart infrastructure, and semiconductor industries. Recent research extensions explore applications in bioinformatics and financial fraud prevention.

Significant research funding includes multiple NSF awards totaling over $1.5M, including a 2024 CAREER award for 'When Learning Meets Reasoning: Mitigating Security Risks with Large Language Models and Causality Inference' and a 2024 CICI grant for 'Safeguarding AI in Bioinformatics'. Additional support comes from Kansas NSF EPSCoR awards.