2138com太阳集团

2019年毕业于美国莱特州立大学计算机科学与工程系，获得计算机工程博士学位，目前就职于2138com太阳集团-智慧系统国际合作联合实验室，任助理教授。主要研究领域包括：

1.可更新实时系统，包括系统的同步语言设计、编译器、模型检测器与可视化开发环境的开发

2.信息物理系统的安全，包括对系统进行面向安全的场景建模、基于模型的系统安全性分析

3.Web服务安全，包括基于符号执行检测基于Web服务存在的漏洞、基于污点分析检测Web服务中的恶意文件和后门

姓名：李宇

邮箱：liyu@cse.neu.edu.cn