Xu Qiwen
DPhil. OXON.
I have left UNU/IIST and now work at
Faculty of Science and Technology, University
of Macau.
Research interests
Formal Methods of Software Engineering, especially in the areas of Concurrent,
Distributed and Real Time Systems; Specification, Verification and Refinement
Techniques; Semantics and Logic; Mechanical Support.
Previous positions
Guest positions
-
Associate Professor. East China Normal
University.
-
Research Fellow. State Key Laboratory for Novel Software Technology, Nanjing
University, China.
Courses