首页 >
导师介绍
基本情况
|
姓 名： |
李亚慧 |
|
|
职 务： |
硕士生导师 |
|
|
职 称： |
讲师 |
|
|
学 历： |
|
|
|
学 位： |
博士 |
|
|
通信地址： |
|
|
|
邮 编： |
|
|
|
办公电话： |
18813101066 |
|
|
电子邮箱： |
教育背景
|
2015.8~2020.10 清华大学 计算机科学与技术系， 获工学博士学位 （导师：吴建平院士） 2018.10~2019.10 宾夕法尼亚大学，联合培养 2011.8~2015.7 吉林大学 软件学院， 获工学学士学位 |
工作经历
研究方向
|
招生专业
|
科研项目
|
基础科研业务人才基金：基于路由配置的网络形式化验证方法研究, 2021-2023 （主持） 国家自然科学青年基金：面向大规模复杂路由配置的网络形式化验证研究，2021-2023 （主持） 博士后科学基金面上项目：意图驱动的网络形式化验证研究，2021-2022 （主持）
|
教学工作
|
离散数学
云计算与大数据平台分析 |
论文/期刊
|
专著/译著
|
|