李亚慧
博士、讲师、硕士生导师
基本信息
| 办公电话：18813101066 | 电子邮件： lyahui@bjtu.edu.cn |
| 通讯地址： | 邮编： |
教育背景
2015.8~2020.10 清华大学 计算机科学与技术系， 获工学博士学位 （导师：吴建平院士）
2018.10~2019.10 宾夕法尼亚大学，联合培养
2011.8~2015.7 吉林大学 软件学院， 获工学学士学位
工作经历
研究方向
招生专业
科研项目
基础科研业务人才基金：基于路由配置的网络形式化验证方法研究, 2021-2023 （主持）
国家自然科学青年基金：面向大规模复杂路由配置的网络形式化验证研究，2021-2023 （主持）
博士后科学基金面上项目：意图驱动的网络形式化验证研究，2021-2022 （主持）
教学工作
离散数学
云计算与大数据平台分析
论文/期刊
- 姚姜源,姜政,邹凯文,翁淑华,李亚欣,李德顺,李亚慧,曹行参.Fast Verification of Network Configuration Updates.Computers, Materials & Continua,2022,1(63)