中国科学院软件研究所导师陈海明介绍__中科大考研真题_中科院考研真题

首页 > 考研Tips > 考研热点 >

中国科学院软件研究所导师陈海明介绍

作者：科大科院考研网发表时间：2019-10-30 来源：研招办

中科院考研推荐链接：

考研资料：中科院考研真题

考研信息：找个直系学长，咨询考研问题

考研一对一：学长带队，复习不累

陈海明男博导中国科学院软件研究所

电子邮件： 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）