Software design and analysis methods, new computation and data models and their applications

Mainly study theories and methods for software design and analysis, and models of computation and data and their applications

Towards network and future applications, aimed at improving the productivity and reliability of software, develop theories and methods required in the design and analysis of software systems, develop new computation and data models, and study the applications of the new models

（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 作者

Web data and programming  techniques, computation models, formal languages and automata theory,  program analysis, programming languages

已指导学生

吴端仪  硕士研究生  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-网络空间安全