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