My research interest spans across the areas of Software Engineering, Programming Languages, Compilers, Distributed Systems, and Formal Methods. In particular, I am interested in:

• Reliability of Software Systems;
• Application of formal methods in software engineering to enhance reliability;
• Program language and compiler support for software engineering and application of formal methods;
• Design, implementation, and verification of distributed systems.

In the past three years, I have been working on a project to apply formal methods, especially model checking, in software engineering:

• Design and Implementation of the ObjectCheck tool set which supports model checking of executable object-oriented software system designs;
• Construction of an Integrated State Space Reduction Framework which enables verification larger software system designs;
• Application of ObjectCheck and the integrated reduction framework to realistic case studies.

For the details of the project, please refer to my publications.