This laboratory mainly focuses on New Network Oriented Software Development Methodologies, Semantic Web, Program Analysis, Programming Languages and their Implementation Techniques, Supporting Technology for Software of High Confidence, Concurrent Semantics, Software Inspection and so on.

It has successfully accomplished 6 projects funded by "863" High-tech research and development program and National Natural Science Foundation, 3 projects funded by National Education Ministry for Doctoral Base Foundation, 2 provincial projects, 7 cooperation projects, 7 projects on reform of instruction methods at provincial or university levels. About 200 papers, 13 text books and 4 academic works have been published. The faculties of the group have been teaching courses as “Formal Semantics” and “Program Analysis” for postgraduates, and “Advanced Programming” and “Compiler Principles” for undergraduates. The course of “Advanced Programming” was awarded as National Level Excellent Course; the course of “Compiler Principles” was awarded as Excellent Course of Jilin University, of Jilin Province and of Ministry of Education-Microsoft. The faculties of each course have won Excellence of Teaching Group Awards of Jilin Province, and won several other provincial prizes.