Xuandong Li

Professor
Department of Computer Science and Technology
Nanjing Univeristy

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
Email: lxd@nju.edu.cn


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


Teaching


Research

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.