姓名：李晓红

职称：教授

所在系别：网络安全学院

主讲课程：(本科)数据结构、软件工程；(研究生)统一建模语言、高可信软件工程；（博士）形式化方法

导师类型：博导

电子邮件：xiaohongli@ibuy5.com

研究领域：安全软件工程、可信软件、信息安全

研究方向：程序符号执行与逻辑验证、软件缺陷检测、安全需求、可信软件测试与评估、网络安全，移动互联网安全、物联网安全、

个人主页：