Department of Computer Science and Technology
Office: Room 720, Changzhou Building
Address: Department of Computer Science and Technology, Nanjing University
No.22, Hankou Road, Nanjing, Jiangsu, P.R. China 210093.
Tel: +86 25 89683671
Fax: +86 25 83300710
Research Affiliation: Member of Research Staff
State Key Laboratory for Novel Software Technology
Formal support for design and analysis of
reactive, disturbed, real-time, hybrid, and cyber-physical systems; Software testing and verification; Model driven software development; Service oriented computing.
- Current Projects
- Trustworthiness measure and evaluation techniques and tools for INTERNETWARE,
supported by the 863 High Technology Research Development Projects, 2012-2014
Software trustworthiness measure and evaluation based on program analysis, testing and verification,
supported by the National Natural Science Foundation of China, 2009-2012
- Completed Projects
- Research Groups
- SEG: Software Engineering Group at NJU
Last updated: Nov. 10, 2001.