2009年于加拿大温莎大学获得计算机科学博士学位。在攻读研究生期间，共计发表10篇论文，其中2篇被SCI收录，10篇被EI收录。主要研究方向包括基于模型驱动的软件工程、物联网技术与应用、软件测试与验证。
教育经历
2005-2009
计算机科学博士，加拿大温莎大学
2002-2005
计算机科学硕士，加拿大温莎大学
1995-1999
通信工程工学学士，北京邮电大学硕士
工作经历
2010-
讲师，北京大学软件与微电子学院无锡校区
2008
讲师（兼职），加拿大温莎大学
2002-2005
工程师，浙江省邮电规划设计院
主讲课程
《算法设计与分析》
《面向对象技术高级课程》
《计算机科学技术基础》
《软件验证与测试》
发表论文
Lihua Duan and Jessica Chen. Exploring Alternatives for Transition Verification. Journal of Systems and Software, Volume 82, Issue 9, pp. 1388-1402, 2009. Elsevier.
Lihua Duan and Jessica Chen. Error-preserving Reductions on Communication Protocols. Software Testing, Verification and Reliability, Volume 18, Issue 1, pp. 51-68, 2008. John Wiley & Sons.
Samaneh Navabpour, Lihua Duan, and Jessica Chen. Webpage Traverse with History Stack. Proc. of the Ninth International Conference on Quality Software (QSIC'09), pp.98-107. IEEE Computer Society Press.
Lihua Duan and Jessica Chen. An Approach to Testing with Embedded Context using Model Checker. Proc. of the Ninth International Conference on Formal Engineering Methods (ICFEM'08), Lecture Notes in Computer Science Vol. 5256, pp. 66-85, 2008. Springer-Verlag.
Lihua Duan and Jessica Chen. Reducing Test Sequence Length Using Invertible Sequences. Proc. of the Ninth International Conference on Formal Engineering Methods (ICFEM'07), Lecture Notes in Computer Science Vol. 4789, pp. 171-190, 2007. Springer-Verlag.
Lihua Duan and Jessica Chen. Alternative beta-sequences. Proc. of the Seventh International Conference on Quality Software (QSIC'07), pp. 127-136, 2007. IEEE Computer Society Press.
Lihua Duan and Jessica Chen. A Formal Approach to Website Maintenance. Proc. of the Tenth IEEE High Assurance Systems Engineering Symposium (HASE'07), pp.419-420, 2007. IEEE Computer Society Press.
Lihua Duan, Yan Wang, and Jessica Chen. Enhanced Traverse of Web Pages. Proc. of the Tenth IEEE. High Assurance Systems Engineering Symposium (HASE'07), pp. 113-122, 2007. Fast abstract. IEEE Computer Society Press.
Jessica Chen and Lihua Duan. Conditions for Avoiding Controllability Problems in Distributed Testing. Proc. of the Eighth International Conference on Formal Engineering Methods (ICFEM'06), Lecture Notes in Computer Science Vol. 4260, pp. 460-477, 2006. Springer-Verlag.
Jessica Chen and Lihua Duan. Optimal Synchronizable Test Sequence from Test Segments. Proc. of the Sixth International Conference on Quality Software (QSIC'06), pp. 266-273, 2006. IEEE Computer Society Press. |
