Xiaolong Guo

Dr. Xiaolong Guo is an Associate Professor in the department of Electrical and Computer Engineering Department at Kansas State University. Prior to joining the faculty at Kansas State University, Guo received his Ph.D. in electrical and computer engineering from the University of Florida (UF) in 2019. 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: ● Generative AI, 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 ● 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.