学院概况
党团建设
师资队伍
科学研究
国际交流
人才招聘
辅助栏目
教师队伍
杰出人才
2025-10-16
姓名：李晓红
职称：教授
所在系别：网络安全学院
主讲课程：(本科)数据结构、软件工程；(研究生)统一建模语言、高可信软件工程；（博士）形式化方法
导师类型：博导
电子邮件：xiaohongli@tju.edu.cn
研究领域：安全软件工程、可信软件、信息安全
研究方向：程序符号执行与逻辑验证、软件缺陷检测、安全需求、可信软件测试与评估、网络安全，移动互联网安全、物联网安全
个人主页：http://cic.tju.edu.cn/faculty/lxh/index.html
2025-10-16
