首页 > 导师介绍

基本情况

姓  名:

李亚慧

职  务:

硕士生导师

职  称:

讲师

学  历:

学  位:

博士

通信地址:

邮  编:

办公电话:

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)

专著/译著

专利

软件著作权

获奖与荣誉

社会兼职