Xiaolong Guo | Associate Professor
Ph.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
Professional experience
Prior to joining the faculty at Kansas State University, Xiaolong Guo had been a research assistant in the Warren B. Nelms Institute for the Connected World, as well as the Florida Institute for Cyber Security (FICS), both at the University of Florida, from 2017 to 2019. He had also been a lab instructor in the electronic engineering department at the University of Central Florida, from 2013 to 2017.
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:
- Hardware Security, Side-channel Measurements, Microarchitectural Level Security, Hardware and Software Co-Security Verification
- Formal Verification, Program Analysis
-
Domain-Specific Applications of Large Language Models (LLMs)
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.