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

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