Xuandong Li

Department of Computer Science and Technology
Nanjing Univeristy

Office: Room 720, Changzhou Building, Xianlin Campus
Address: Department of Computer Science and Technology, Nanjing University
163 Xianlin Road, Nanjing, Jiangsu, P.R. China 210023.
Tel: +86 25 89683671
Fax: +86 25 83300710
Email: lxd@nju.edu.cn

Research Affiliation: Member of Research Staff
State Key Laboratory for Novel Software Technology
Nanjing University.



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.

Interesting Links

Last updated: Nov. 10, 2001.