陈海明

 

研究员、博士生导师

中国科学院软件研究所计算机科学国家重点实验室

北京8718信箱, 100190

电话: +86-10-62661612

传真: +86-10-62661627

邮箱: chm_at_ios.ac.cn

             DEPSO小组


研究兴趣

 

Web数据和编程技术, 计算模型, 形式语言与自动机理论, 程序分析, 编程语言

 


论文论著

 


研究项目

 


工具

 


获得奖励

 


研究小组(DEPSO

招生信息

 


Last modified: 2021-08-12