基本信息
陈海明  男  博导  中国科学院软件研究所
电子邮件: chm@ios.ac.cn
通信地址: 中关村南四街4号
邮政编码: 100190
部门/实验室:计算机科学国家重点实验室

研究领域

   

招生信息

招生方向:软件设计与分析方法,新型计算模型与应用

主要研究软件设计与分析的理论方法,数据、计算模型与应用

面向网络及未来应用,以提高软件开发的生产率、可靠性为目标,研究软件的设计、分析中需要的理论、方法和技术。
招生专业
081202-计算机软件与理论
085211-计算机技术
招生方向
软件设计与分析方法
新型计算模型与应用

教育背景

1995-09--今 中国科学院软件研究所 博士
1989-09--今 中国科学院软件研究所 硕士
学历
-- 研究生
学位
-- 博士

工作经历

   
工作简历
2004-07--今 中国科学院软件研究所 研究员
社会兼职
   

教授课程

   

专利与奖励

   
奖励信息
(1) 中国科学院盈科优秀青年学者奖,部委级,2000
(2) 支持可理解性和可复用性的软件设,二等奖,国家级,1992
(3) 支持可理解性和可复用性的软件设,一等奖,部委级,1991
专利成果
   

出版信息

   
发表论文
(1) Inference of a Concise Regular Expression Considering Interleaving from XML documents, PAKDD 2018, 2018, 通讯作者
(2) Practical Study of Deterministic Regular Expressions from Large-scale XML and Schema Files, IDEAS 2018, 2018, 通讯作者
(3) Inferring Regular Expressions with Interleaving from XML Data, APWEB-WAIM 2018, 2018, 通讯作者
(4) The complexity of SORE-definability problems, MFCS 2017, 2017, 第 3 作者
(5) On trace languages generated by (small) spiking neural P systems, Theoretical Computer Science, 2017, 第 1 作者
(6) Derivatives and Finite Automata of Expressions in Star Normal Form, LATA 2017, LNCS 10168, 2017, 第 1 作者
(7) Practical Study of Subclasses of Regular Expressions in DTD and XML Schema, APWeb 2016, LNCS 9932, 2016, 第 4 作者
(8) Checking Determinism of Regular Expressions with Counting, Information and Computation, 2015, 第 1 作者
(9) Deciding Determinism of Regular Languages, Theory of Computing Systems, 2015, 第 3 作者
(10) Discovering Restricted Regular Expressions with Interleaving, APWeb 2015, LNCS 9313, 2015, 第 2 作者
(11) Deterministic Regular Expressions with Interleaving, ICTAC 2015, LNCS 9399, 2015, 第 2 作者
(12) Deciding Determinism of Unary Languages, Information and Computation, 2015, 通讯作者
(13) 一类受限正则表达式的推断算法, 计算机科学, 2014, 第 3 作者
(14) 改进的流不敏感的类型限定词推断, 计算机科学, 2014, 第 3 作者
(15) Deciding Determinism of Unary Languages Is coNP-Complete, Developments in Language Theory, LNCS, 2013, 第 3 作者
(16) 确定型语言的相关研究综述, 集成技术, 2013, 第 1 作者
(17) Derivatives of regular expressions and an application, Lecture Notes in Computer Science, 2012, 第 1 作者
(18) Checking Determinism of Regular Expressions with Counting, Developments in Language Theory, LNCS 7410, 2012, 第 1 作者
(19) Assisting the design of XML Schema: diagnosing nondeterministic content models, Lecture Notes in Computer Science, 2011, 第 1 作者
(20) 
(21) 
(22) 
(23) 
(24) 
(25) 
发表著作
   

科研活动

   
科研项目
(1) 确定性表达式及其子类的理论问题与工具研究,主持,国家级,2015-01--2018-12
(2) 无秩树结构数据和语义多态类型系统的研究,主持,国家级,2011-01--2013-12
参与会议
   

合作情况

   
项目协作单位
   

指导学生

已指导学生

吴端仪  硕士研究生  081202-计算机软件与理论  

戴晓君  硕士研究生  081202-计算机软件与理论  

郑丽丽  硕士研究生  081202-计算机软件与理论  

倪晓勇  硕士研究生  081202-计算机软件与理论  

郑黎晓  博士研究生  081202-计算机软件与理论  

许智武  博士研究生  081202-计算机软件与理论  

冯晓强  硕士研究生  081202-计算机软件与理论  

李慧松  硕士研究生  081202-计算机软件与理论  

陆平  博士研究生  081202-计算机软件与理论  

现指导学生

彭飞飞  硕士研究生  081202-计算机软件与理论  

张潇澜  博士研究生  081202-计算机软件与理论  

牟笑莹  博士研究生  081202-计算机软件与理论  

个人英文主页

http://lcs.ios.ac.cn/~chm