以软件新方法与新技术研究为重点，理论研究与应用研究相结合，主要研究方向包括程序理论与形式化、程序语言及其实现、软件自动化、软件质量研究等。一直承担着计算机专业本科和研究生主干课程的教学工作，主要讲授了编译原理、高级语言程序设计、程序理论以及程序分析技术等多门本科和研究生专业课程。 2 篇论文被 SCI 检索。

[1] 郑晓娟，金成植， Formalizing Active Networks Security with Seal-Calculus, Lecture Notes in Computer Science(LNCS), Springer-Verlag.2745,391-404,2003. （ SCI 检索）。
[2] 郑晓娟，金成植，鞠九滨， Applying Active Networks to Networked Control Systems ， Proceedings of the 21st IASTED International Conferences APPLIED INFORMATICS, 676-680, February 10-13,2003. Innsbruck, Austria 。
[3] 郑晓娟，金成植，鞠九滨,一个安全的主动网络编程语言模型，《吉林大学信息科学学报》，2002，3 。
[4] 郑晓娟，金英，金成植， Seal 演算的等式特性，《吉林大学信息科学学报》， 2003 ， 3 。
[5] 朱铁英，郑晓娟，鞠九滨，主动网络的灵活性、安全性和性能，《小型微型机系统》， 2004 ， 3 。
[6] 郑晓娟，金英，金成植， Seal 演算与 Ambient 演算的关系，《吉林大学信息科学学报》，2005，3 。
[7] 郑晓娟，金英，金成植， Seal 演算的一个信息流分析系统，《吉林大学信息科学学报》，已录用。
[8] 金英，刘磊，郑晓娟， INFORMATION FLOW SECURITY FOR INTERACTIVE SYSTEMS, The 2005 IFIP International Conference on Embedded And Ubiquitous Computing (EUC-05), Lectur e Notes in Computer Science(LNCS), 已录用 . （ SCI 检索）。

五、编写高等学校教材：

[1] 《可编程逻辑器件及数字系统设计》副主编 吉林科学技术出版社

[2] 参编《 Foxbase 实用程序设计》吉林科学技术出版社

[3] 参编《计算机应用基础》 吉林大学出版社