电子邮件： chm@ios.ac.cn
通信地址： 中关村南四街4号
邮政编码： 100190
研究领域
| Web数据和编程技术, 计算与数据模型, 形式语言与自动机理论, 程序分析, 编程语言 |
招生信息
招生方向：软件设计与分析方法，新型计算模型与应用
主要研究软件设计与分析的理论与方法，数据、计算模型与应用
面向网络及未来应用，以提高软件开发的生产率、可靠性、安全性为目标，研究软件的设计、分析中需要的理论、方法和技术，研究新型计算与数据模型，以及这些模型的应用。
招生专业
招生方向
教育背景
学历
学位
工作经历
工作简历
指导学生
已指导学生
吴端仪 硕士研究生 081202-计算机软件与理论
戴晓君 硕士研究生 081202-计算机软件与理论
郑丽丽 硕士研究生 081202-计算机软件与理论
郑黎晓 博士研究生 081202-计算机软件与理论
倪晓勇 硕士研究生 081202-计算机软件与理论
许智武 博士研究生 081202-计算机软件与理论
冯晓强 硕士研究生 081202-计算机软件与理论
陆平 博士研究生 081202-计算机软件与理论
李慧松 硕士研究生 081202-计算机软件与理论
彭飞飞 硕士研究生 081202-计算机软件与理论
张潇澜 博士研究生 081202-计算机软件与理论
崔蕃琳 硕士研究生 081202-计算机软件与理论
董春梅 硕士研究生 081202-计算机软件与理论
褚新宇 硕士研究生 081202-计算机软件与理论
汪小凡 博士研究生 081202-计算机软件与理论
李页霆 博士研究生 081202-计算机软件与理论
牟笑莹 硕士研究生 081202-计算机软件与理论
彭前程 硕士研究生 083500-软件工程
陈子轩 硕士研究生 085212-软件工程
孙业程 硕士研究生 081200-计算机科学与技术
闫艺宣 硕士研究生 081200-计算机科学与技术
现指导学生
卢奕帆 博士研究生 083900-网络空间安全
姚文韬 博士研究生 083900-网络空间安全
谢静 博士研究生 083900-网络空间安全
刘朴淳 博士研究生 083900-网络空间安全
彭炳炜 博士研究生 083900-网络空间安全
李镕辰 博士研究生 081200-计算机科学与技术
杨恒宇 博士研究生 083900-网络空间安全
陈星杵 博士研究生 083900-网络空间安全
彭成尧 博士研究生 081200-计算机科学与技术
王孟晞 硕士研究生 081200-计算机科学与技术
苏韦豪 博士研究生 081200-计算机科学与技术
黄鸿 博士研究生 081200-计算机科学与技术