Li Xiao Shan  Assistant Professor

• Ph.D. in Institute of Software, Chinese Academy of Sciences, China (1994)
• M.Sc. in Department of Computer Science, Changsha Institute of Technology, China (1990)
• B.Sc. in Department of Computer Science, North China Institute of Electrical Power, China (1987)

• October 1995 - February 1998, worked at Department of Electrical and Electronic Engineering, University of Newcastle upon Tyne, UK, as a research associate.
• December 1993 - October 1995, worked at Institute of Software, Chinese Academy of Sciences, Beijing, China, as a research assistant.
• November 1992 - August 1993, December 1994 - April 1995, worked at International Institute for Software Technology, United Nation University, Macau, as a visiting fellow.

B.Sc. Courses

1. Formal languages and Automata (SFTW223)
2. Formal Methods in Software Engineering (SFTW423)
3. Software Engineering Principles (SFTW440)

1. Fundamentals of Software Engineering (IMSS001)
2. Formal Methods in Software Engineering (IMSS009)

Research Interests

• Hardware Simulation, Specification and Verification
• Formal Methods and Safety Critical Real-Time and Hybrid Systems
• Semantics of Concurrent Programming Languages (Java, Verilog)
• Internet Communication Protocol Security
• Intelligent Multiagents and Database Systems, and Go Programming

• Specification and Verification of Real-time Circuits by Mean-value Calculus, funded by the National Natural Sciences Foundation of China (NSF69403002), January 1995 - December 1996, Principal Investigator.
• A Compositional Approach to the Specification of Systems in ITL and Tempura, funded by the British Engineering and Physical Sciences Research Council (GR/K25922), January 1995 - April 1998, Post-doctoral Research Associate.

1. "Verifying Duration Properties of Timed Transition Systems", In Programming Concepts and Methods, PROCOMET'98, ed. D. Gries and W.P. de Roever, pp327-345, Chapman & Hall, 1998.
2. "Proving the Correctness of the Interlock Mechanism in Processor Design", In Advance in Hardware Design and Verification, pp5-22, ed. H.F. Li and D.K. Probst, pp5-22, Chapman & Hall, 1997.
3. "Specifying Optimal Design of a Steam-Boiler System", In Formal Methods for Industrial Applications, LNCS 1165, pp341-359, SpringerVerlag, 1996.
4. "A Duration Calculus with Infinite Intervals", in Fundamentals of Computation Theory, LNCS 965, pp16-41, Springer-Verlag, 1995.
5. "A Mean-Value Duration Calculus", In A Classical Mind, Essays in Honour of C.A.R. Hoare, ed. A.W. Roscoe, pp432-451, Prentice-Hall International, 1994.

Faculty of Science and Technology
University of Macau
P.O. Box 3001
Macau

Room: N305
Telephone: (853) 3974-355
Fax: (853) 838314 or (853) 831694

E-mail address: fstxsl@sftw.umac.mo
Personal Homepage: http://www.sftw .umac.mo/~fstxsl
Interesting Web Sites and Hobbies: bearfun