陈海明
|
|
研究员、博士生导师 |
|
中国科学院软件研究所基础软件与系统重点实验室 客座博士生导师 中国科学院信息工程研究所 |
|
|
中国北京邮政编码100190 |
|
|
电话: +86-10-62661612 |
|
|
传真: +86-10-62661627 |
|
|
邮箱: chm_at_ios.ac.cn |
研究兴趣
|
|
Web数据和编程技术, 计算模型, 形式语言与自动机理论, 程序分析, 软件安全性，编程语言 |
Last modified: 2023-04-25