Qiwen XU徐啟文
Assistant Professor
Personal Homepage: https://www.fst.um.edu.mo/personal/qwxu/

Academic Qualification

  • DPhil. in Computing, Oxford University Computing Laboratory, U.K. (1992)
  • BSc. in Computer Science, East China Normal University, China (1985)


Research Interests

  • Program Verification and Refinement
  • Formal Specification
  • Real Time Systems
  • Temporal Logic

Contact Details

Faculty of Science and Technology
University of Macau, E11
Avenida da Universidade, Taipa,
Macau, China

Room: E11-4024
Telephone: (853) 8822-4377
Fax: (853) 8822-2426
Email: qwxu