基本信息
陈海明男博导中国科学院软件研究所
电子邮件： 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