Xuandong Li

Professor
Department of Computer Science and Technology
Nanjing Univeristy

Office: Room 508, Meng Minwei Building
Address: Department of Computer Science and Technology, Nanjing University
No.22, Hankou Road, Nanjing, Jiangsu, P.R. China 210093.
Tel: +86 25 83593671
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, and hybrid systems; Software model checking; Model driven software development; Service oriented computing.

  • Projects
    • Model checking of real-time and hybrid systems,
      supported by the National Natural Science Foundation of China, 1998-2000
    • Model checking algorithms and tools for real-time and hybrid system,
      supported by the 863 High Technology Research Development Project, 1998-2000
    • Compositional model checking of real-time and hybrid systems,
      supported by the National Natural Science Foundation of China, 2001-2003
    • Formal verification of network protocol,
      supported by Jiangsu Province Research Foundation, 2001-2003
    • Key techniques for model checking of real-time and hybrid systems,
      supported by the 863 High Technology Research Development Projects, 2001-2003
  • Selected Publications

Interesting Links

Last updated: April 4, 2008.