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

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

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

面向网络及未来应用，以提高软件开发的生产率、可靠性、安全性为目标，研究软件的设计、分析中需要的理论、方法和技术，研究新型计算与数据模型，以及这些模型的应用。

081202-计算机软件与理论
083500-软件工程
085400-电子信息

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

1995-09--1999-02   中国科学院软件研究所   博士
1989-09--1992-07   中国科学院软件研究所   硕士
1984-09--1989-07   中国科学技术大学计算机科学与技术系   学士

-- 研究生

-- 博士

   

2004-07~现在, 中国科学院软件研究所, 研究员

   

（1） 中国科学院盈科优秀青年学者奖, , 部委级, 2000
（2） 支持可理解性和可复用性的软件设, 二等奖, 国家级, 1992
（3） 支持可理解性和可复用性的软件设, 一等奖, 部委级, 1991

   

[1] Chengyu Yao, Hong Huang, Hang Gao, Fengge Wu, 陈海明, Junsuo Zhao. Molecular Graph Representation Learning via Structural Similarity Information. The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD 2024). 2024, 第 5 作者
[2] USENIX Security 2024. 2024,   通讯作者  
[3] 郑黎晓, 余李林, 陈海明, 陈祖希, 骆翔宇. 基于变异的正则表达式反例串生成算法. 软件学报[J]. 2023, 第 3 作者
[4] 苏韦豪, 陈海明, Rongchen Li, Zixuan Chen. Modeling Regex Operators for Solving Regex Crossword Puzzles. The Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2023). 2023, 第 2 作者  通讯作者  
[5] 苏韦豪, Rongchen Li, 彭成尧, 陈海明. Algorithms for Checking Intersection Non-emptiness of Regular Expressions. The 20th International Colloquium on Theoretical Aspects of Computing (ICTAC 2023). 2023, 第 4 作者  通讯作者  
[6] 闫艺宣, 苏韦豪, 郑黎晓, 王梦晞, 陈海明, 彭成尧, Rongchen Li, Zixuan Chen. Deducing Matching Strings for Real-World Regular Expressions. The Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2023). 2023, 第 5 作者  通讯作者  
[7] USENIX Security 2022. 2022,   通讯作者  
[8] COMPUTER JOURNAL. 2022,   通讯作者  
[9] Yeting Li, 陈海明, Zixuan Chen. Learning disjunctive multiplicity expressions and disjunctive generalize multiplicity expressions from both positive and negative examples. The Computer Journal[J]. 2022, 第 2 作者  通讯作者  
[10] Cao, Jialun, Li, Meiziniu, Li, Yeting, Wen, Ming, Cheung, ShingChi, Haiming Chen. SemMT: A Semantic-based Testing Approach for Machine Translation Systems. ACM Transactions on Software Engineering and Methodology (TOSEM)[J]. 2022, 第 6 作者http://arxiv.org/abs/2012.01815.
[11] Mou, Xiaoying, 陈海明. Grammar construction methods for extended deterministic expressions. arXiv. 2022, 第 2 作者
[12] Yeting Li, 孙业程, 许智武, 曹嘉伦, Yuekang Li, Rongchen Li, 陈海明, Shing-Chi Cheung, Yang Liu, Yang Xiao. RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix. USENIX Security 2022. 2022, 第 7 作者  通讯作者  
[13] Li, Yeting, Li, Shuaimin, Xu, Zhiwu, Cao, Jialun, Chen, Zixuan, Hu, Yun, Chen, Haiming, Cheung, ShingChi. TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair. 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE). 2021, 第 7 作者  通讯作者  http://arxiv.org/abs/2012.15489.
[14] Yeting Li, Zixuan Chen, Jialun Cao, Zhiwu Xu, Qiancheng Peng, 陈海明, Liyuan Chen, Shing-Chi Cheung. ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection. USENIX Security 2021. 2021, 第 6 作者  通讯作者  
[15] USENIX Security 2021. 2021,   通讯作者  
[16] 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE). 2021,   通讯作者  
[17] ASE 2020. 2020,   通讯作者  
[18] Wang, Xiaofan, Chen, Haiming. Inferring Deterministic Regular Expression with Unorder. SOFSEM 2020: THEORY AND PRACTICE OF COMPUTER SCIENCE. 2020, 第 2 作者  通讯作者  12011: 325-337, 
[19] Li, Yeting, Chen, Haiming, Zhang, Lingqi, Huang, Bo, Zhang, Jianzhao. Inferring Restricted Regular Expressions with Interleaving from Positive and Negative Samples. ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PAKDD 2020, PT II. 2020, 第 2 作者  通讯作者  12085: 769-781, 
[20] Li, Yeting, Cao, Jialun, Chen, Haiming, Ge, Tingjian, Xu, Zhiwu, Peng, Qiancheng, IEEE. FlashSchema: Achieving High Quality XML Schemas with Powerful Inference Algorithms and Large-scale Schema Data. 2020 IEEE 36TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE 2020). 2020, 第 3 作者  通讯作者  1962-1965, 
[21] 褚新宇, Ping Lu, 陈海明. Grammars and a random generator for deterministic chain regular expressions. SOFSEM 2020, SRF. 2020, 第 3 作者  通讯作者  
[22] 李页霆, 许智武, 曹嘉伦, 陈海明, Tingjian Ge, Shing-Chi Cheung, Haoren Zhao. FlashRegex: deducing anti-ReDoS regexes from examples. ASE 2020. 2020, 第 4 作者  通讯作者  
[23] Chen, Haiming, Xu, Zhiwu. Inclusion algorithms for one-unambiguous regular expressions and their applications. SCIENCE OF COMPUTER PROGRAMMING[J]. 2020, 第 1 作者  通讯作者  193: http://dx.doi.org/10.1016/j.scico.2020.102436.
[24] ASE 2020. 2020,   通讯作者  
[25] IEEE 36th International Conference on Data Engineering (ICDE). 2020,   通讯作者  
[26] 牟笑莹, 陈海明, 李页霆. Context-free grammars for deterministic regular expressions with interleaving. ICTAC 2019. 2019, 第 2 作者  通讯作者  
[27] Li Yeting, Zhang Xiaolan, Cao Jialun, Chen Haiming, Gao Chong. Learning k-Occurrence Regular Expressions with Interleaving. DATABASE SYSTEMS FOR ADVANCED APPLICATIONS (DASFAA 2019), PT II. 2019, 第 4 作者  通讯作者  11447: 70-85, 
[28] Li, Yeting, Mou, Xiaoying, Chen, Haiming. Learning k-Occurrence Regular Expressions from Positive and Negative Samples. CONCEPTUAL MODELING, ER 2019. 2019, 第 3 作者  通讯作者  11788: 264-272, 
[29] Xu, Zhiwu, Lu, Ping, Chen, Haiming. Towards an Effective Syntax and a Generator for Deterministic Standard Regular Expressions. COMPUTER JOURNAL[J]. 2019, 第 3 作者  通讯作者  62(9): 1322-1341, 
[30] X. Wang, 陈海明. Learning restricted deterministic regular expressions with counting. WISE’19. 2019, 第 2 作者  通讯作者  
[31] Chen, Haiming, Li, Yeting, Dong, Chunmei, Chu, Xinyu, Mou, Xiaoying, Min, Weidong, Yang, Q, Zhou, ZH, Gong, Z, Zhang, ML, Huang, SJ. A Large-Scale Repository of Deterministic Regular Expression Patterns and Its Applications. ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PAKDD 2019, PT III. 2019, 第 1 作者  通讯作者  11441: 249-261, 
[32] Yeting Li, 陈海明, Zhang Xiaolan, Lingqi Zhang. An effective algorithm for learning single occurrence regular expressions with interleaving. IDEAS 2019. 2019, 第 2 作者  通讯作者  
[33] Li Yeting, Dong Chunmei, Chu Xinyu, Chen Haiming. Learning DMEs from Positive and Negative Examples. DATABASE SYSTEMS FOR ADVANCED APPLICATIONS. 2019, 第 4 作者  通讯作者  11448: 434-438, 
[34] Wang, Xiaofan, 陈海明. Learning a subclass of deterministic regular expression with counting. KSEM 2019. 2019, 第 2 作者  通讯作者  
[35] Wang, Xiaofan, Chen, Haiming. Inferring Deterministic Regular Expression with Counting. CONCEPTUAL MODELING, ER 2018. 2018, 第 2 作者  通讯作者  11157: 184-199, 
[36] Li, Yeting, Zhang, Xiaolan, Xu, Han, Mou, Xiaoying, Chen, Haiming. Learning Restricted Regular Expressions with Interleaving from XML Data. CONCEPTUAL MODELING, ER 2018. 2018, 第 5 作者  通讯作者  11157: 586-593, 
[37] 陈海明. Practical Study of Deterministic Regular Expressions from Large-scale XML and Schema Files. IDEAS 2018. 2018, 第 1 作者  通讯作者  
[38] Zhang Xiaolan, Li Yeting, Tian Fei, Cui Fanlin, Dong Chunmei, Chen Haiming, Cai Y, Ishikawa Y, Xu J. Inferring Regular Expressions with Interleaving from XML Data. WEB AND BIG DATA (APWEB-WAIM 2018), PT II. 2018, 第 11 作者10988: 44-52, 
[39] Zhang Xiaolan, Li Yeting, Cui Fanlin, Dong Chunmei, Chen Haiming, Phung D, Tseng VS, Webb GI, Ho B, Ganji M, Rashidi L. Inference of a Concise Regular Expression Considering Interleaving from XML Documents. ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PAKDD 2018, PT II. 2018, 第 11 作者10938: 389-401, 
[40] Li, Yeting, Mou, Xiaoying, Chen, Haiming, Gan, G, Li, B, Li, X, Wang, S. Learning Concise Relax NG Schemas Supporting Interleaving from XML Documents. ADVANCED DATA MINING AND APPLICATIONS, ADMA 2018. 2018, 第 11 作者11323: 303-317, 
[41] 陈海明. The complexity of SORE-definability problems. MFCS 2017. 2017, 第 1 作者
[42] Chen, Haiming, Ionescu, Mihai, Paun, Andrei, Paun, Gheorghe. On trace languages generated by (small) spiking neural P systems. THEORETICAL COMPUTER SCIENCE[J]. 2017, 第 1 作者  通讯作者  682: 57-66, http://dx.doi.org/10.1016/j.tcs.2016.10.013.
[43] Chen, Haiming, Lu, Ping, Drewes, F, MartinVide, C, Truthe, B. Derivatives and Finite Automata of Expressions in Star Normal Form. LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2017). 2017, 第 1 作者10168: 236-248, 
[44] 陈海明. Practical Study of Subclasses of Regular Expressions in DTD and XML Schema. APWeb 2016, LNCS 9932. 2016, 第 1 作者
[45] Lu, Ping, Bremer, Joachim, Chen, Haiming. Deciding Determinism of Regular Languages. THEORY OF COMPUTING SYSTEMS[J]. 2015, 第 3 作者57(1): 97-139, https://www.webofscience.com/wos/woscc/full-record/WOS:000358741300004.
[46] 陈海明. Deterministic Regular Expressions with Interleaving. ICTAC 2015, LNCS 9399. 2015, 第 1 作者
[47] Chen, Haiming, Lu, Ping. Checking determinism of regular expressions with counting. INFORMATION AND COMPUTATION[J]. 2015, 第 1 作者  通讯作者  241: 302-320, http://dx.doi.org/10.1016/j.ic.2014.12.001.
[48] Lu, Ping, Peng, Feifei, Chen, Haiming, Zheng, Lixiao. Deciding determinism of unary languages. INFORMATION AND COMPUTATION[J]. 2015, 第 3 作者  通讯作者  245: 181-196, http://dx.doi.org/10.1016/j.ic.2015.08.005.
[49] Peng Feifei, Chen Haiming, Cheng R, Cui B, Zhang Z, Cai R, Xu J. Discovering Restricted Regular Expressions with Interleaving. WEB TECHNOLOGIES AND APPLICATIONS (APWEB 2015). 2015, 第 2 作者9313: 104-115, 
[50] 冯晓强, 郑黎晓, 陈海明. 一类受限正则表达式的推断算法. 计算机科学[J]. 2014, 第 3 作者41(4): 178-183, http://lib.cqvip.com/Qikan/Article/Detail?id=49314759.
[51] 陈海明, 陆平. 确定型语言的相关研究综述. 集成技术[J]. 2013, 第 1 作者2(6): 65-70, https://jcjs.siat.ac.cn/jcjs/article/abstract/201312013?st=article_issue.
[52] 陈海明. Deciding Determinism of Unary Languages Is coNP-Complete. Developments in Language Theory, LNCS. 2013, 第 1 作者
[53] Chen Haiming, Yu Sheng. Derivatives of regular expressions and an application. LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS). 2012, 第 1 作者343-356, http://ir.iscas.ac.cn/handle/311060/15700.
[54] Chen Haiming, Lu Ping. Checking determinism of regular expressions with counting. LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS). 2012, 第 1 作者332-343, 
[55] Chen Haiming, Lu Ping, Yen HC, Ibarra OH. Checking Determinism of Regular Expressions with Counting. DEVELOPMENTS IN LANGUAGE THEORY (DLT 2012). 2012, 第 1 作者7410: 332-343, 
[56] 倪晓勇, 陈海明. 正规树文法的产生式相交判定. 计算机工程与设计[J]. 2012, 第 2 作者33(3): 1197-1202, http://lib.cqvip.com/Qikan/Article/Detail?id=41213230.
[57] Zheng Lixiao, Chen Haiming. Determinacy and rewriting of conjunctive queries over unary database schemas. PROCEEDINGS OF THE ACM SYMPOSIUM ON APPLIED COMPUTING. 2011, 第 2 作者1039-1044, http://124.16.136.157/handle/311060/14325.
[58] 郑丽丽, 陈海明. 基于MST的优化技术：监督式编译. COMPUTER ENGINEERING AND DESIGN[J]. 2011, 第 2 作者32(1): 179-182,201, http://lib.cqvip.com/Qikan/Article/Detail?id=36403426.
[59] 郑黎晓, 许智武, 陈海明. 基于文法分支覆盖的短句子生成算法. 软件学报[J]. 2011, 第 3 作者22(11): 2564-2576, http://lib.cqvip.com/Qikan/Article/Detail?id=39723961.
[60] 郑丽丽, 陈海明. 基于MST的优化技术：监督式编译. 计算机工程与设计[J]. 2011, 第 2 作者32(1): 179-182,201, http://lib.cqvip.com/Qikan/Article/Detail?id=36403426.
[61] Chen Haiming, Lu Ping. Assisting the design of xml schema: diagnosing nondeterministic content models. LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS). 2011, 第 1 作者301-312, http://124.16.136.157/handle/311060/14359.
[62] 戴晓君, 陈海明. 采用了剪枝优化的子类型关系判定算法. 软件学报[J]. 2010, 第 2 作者1481-1490, http://lib.cqvip.com/Qikan/Article/Detail?id=34467829.
[63] Xu Zhiwu, Zheng Lixiao, Chen Haiming. A toolkit for generating sentences from context-free grammars. PROCEEDINGS - SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2010. 2010, 第 3 作者118-122, http://124.16.136.157/handle/311060/8632.
[64] Chen Lei, Chen Haiming. Subtyping algorithm of regular tree grammars with disjoint production rules. LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS). 2010, 第 2 作者45-59, http://124.16.136.157/handle/311060/8922.
[65] Zhang Jian, Zhang Wenhui, Zhan Naijun, Shen Yidong, Chen Haiming, Zhang Yunquan, Wang Yongji, Wu Enhua, Wang Hongan, Zhu Xueyang. Basic research in computer science and software engineering at sklcs. FRONTIERS OF COMPUTER SCIENCE IN CHINA[J]. 2008, 第 5 作者2(1): 1-11, 
[66] Chen Lei, Chen Haiming, Wang GJ, Chen J, Fellows MR, Ma HD. Efficient Type Checking for a Subclass of Regular Expression Types. PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5. 2008, 第 2 作者1647-1652, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000269081800281.
[67] Haiming, Chen, Ishdorj, TserenOnolt, Paun, Gheorghe. Computing along the axon. PROGRESS IN NATURAL SCIENCE-MATERIALS INTERNATIONAL[J]. 2007, 第 1 作者  通讯作者  17(4): 417-423, http://lib.cqvip.com/Qikan/Article/Detail?id=24393506.
[68] Chen Haiming, Tseren-Onolt Ishdorj, Gheorghe Paun. Computing along the axon. 自然科学进展：英文版[J]. 2007, 第 1 作者17(4): 417-423, http://lib.cqvip.com/Qikan/Article/Detail?id=24393506.
[69] Chen, Haiming, Dong, Yunmei. Facilitating formal specification acquisition by using recursive functions on context-free languages. KNOWLEDGE-BASED SYSTEMS[J]. 2006, 第 1 作者  通讯作者  19(2): 141-151, http://dx.doi.org/10.1016/j.knosys.2005.10.005.
[70] Chen, Haiming, Dong, Yunmei, Cai, JY, Cooper, SB, Li, A. Towards practical computable functions on context-free languages. THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS[J]. 2006, 第 1 作者  通讯作者  3959: 555-565, https://www.webofscience.com/wos/woscc/full-record/WOS:000238091800053.
[71] Chen, Haiming, Dong, Yunmei, Cai, JY, Cooper, SB, Li, A. Towards practical computable functions on context-free languages. THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS[J]. 2006, 第 1 作者  通讯作者  3959: 555-565, https://www.webofscience.com/wos/woscc/full-record/WOS:000238091800053.
[72] 沈扬, 陈海明. 基于上下文依赖规则覆盖的句子生成. 计算机工程与应用[J]. 2005, 第 2 作者41(17): 96-100, http://lib.cqvip.com/Qikan/Article/Detail?id=15759859.
[73] 陈海明. 一种新型递归函数的求值算法. 软件学报[J]. 2004, 第 1 作者15(9): 1277-1291, http://lib.cqvip.com/Qikan/Article/Detail?id=10466648.
[74] 陈海明, 董韫美. 一个支持规约获取的形式规约语言. 计算机学报[J]. 2002, 第 1 作者  通讯作者  [[[025]]]([[[005]]]): [[[459]]]-[[[466]]], http://lib.cqvip.com/Qikan/Article/Detail?id=6195526.0.
[75] 张强, 陈海明. 简单模式的一种匹配方法. 计算机工程与应用[J]. 2001, 第 2 作者37(17): 63-66, http://lib.cqvip.com/Qikan/Article/Detail?id=5417243.
[76] 陈海明, 董韫美. 上下文无关语言分析树的一种表示形式. 计算机研究与发展[J]. 2000, 第 1 作者  通讯作者  [[[037]]]([[[010]]]): [[[1179]]]-[[[1184]]], http://lib.cqvip.com/Qikan/Article/Detail?id=4690485.0.
[77] 24th International Conference on Database Systems for Advanced Applications (DASFAA). 1999,   通讯作者  
[78] COMPUTER JOURNAL 2019.9. 1999,   通讯作者  
[79] 陈海明. 运算构造和检验系统FC的设计和实现. 软件学报[J]. 1998, 第 1 作者9(10): 755-759, http://lib.cqvip.com/Qikan/Article/Detail?id=3232003.
[80] 董韫美, 陈海明. 一个高质量汉字笔划字形到轮廓字形的转换系统. 软件学报[J]. 1996, 第 2 作者  通讯作者  [[[007]]]([[[005]]]): [[[257]]]-[[[263]]], http://lib.cqvip.com/Qikan/Article/Detail?id=2167854.0.

   

（ 1 ） 无秩树结构数据和语义多态类型系统的研究, 负责人, 国家任务, 2011-01--2013-12
（ 2 ） 确定性表达式及其子类的理论问题与工具研究, 负责人, 国家任务, 2015-01--2018-12
（ 3 ） 正反例相结合的正则表达式极限识认算法, 参与, 国家任务, 2016-01--2018-12
（ 4 ） 支持计数与无序的扩展表达式的理论问题与应用研究, 负责人, 国家任务, 2019-01--2022-12
（ 5 ） 抗ReDoS攻击多模态正则表达式合成方法研究, 负责人, 地方任务, 2023-01--2025-12
（ 6 ） 正则表达式拒绝服务漏洞的检测与修复, 负责人, 中国科学院计划, 2022-03--2024-03

已指导学生

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

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

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

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

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

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

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

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

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

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

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

崔蕃琳  硕士研究生  081202-计算机软件与理论  

董春梅  硕士研究生  081202-计算机软件与理论  

褚新宇  硕士研究生  081202-计算机软件与理论  

汪小凡  博士研究生  081202-计算机软件与理论  

李页霆  博士研究生  081202-计算机软件与理论  

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

彭前程  硕士研究生  083500-软件工程  

陈子轩  硕士研究生  085212-软件工程  

现指导学生

王晓伟  博士研究生  083900-网络空间安全  

卢奕帆  博士研究生  083900-网络空间安全  

姚文韬  博士研究生  083900-网络空间安全  

孙业程  硕士研究生  081200-计算机科学与技术  

谢静  博士研究生  083900-网络空间安全  

刘冠廷  博士研究生  083900-网络空间安全  

刘朴淳  博士研究生  083900-网络空间安全  

彭炳炜  博士研究生  083900-网络空间安全  

闫艺宣  硕士研究生  081200-计算机科学与技术  

苏韦豪  硕士研究生  085405-软件工程  

李镕辰  博士研究生  081200-计算机科学与技术  

黄鸿  硕士研究生  085405-软件工程  

杨恒宇  博士研究生  083900-网络空间安全  

陈星杵  博士研究生  083900-网络空间安全  

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