Research Interests:

My research is in the areas of Foundations and Advances in Computer Science and Engineering. In particular, I am interested in

• Formal Techniques for Object-Oriented Systems Development
• Formal Models and Methods of Component Systems Development
• Formal Support to UML-Based Software Development
• Fault-Tolerant and Real-Time Embedded Systems

Research Projects:

• Formal Method of Object and Component Systems: This is a UNU-IIST supported project.
• HighQSoftD: Integrating Methods and Tools for High Quality Software Development. This is a joint project with University of Macau and it is support by Macao Science and Technology Development Fund (MOP 600,000, 2006 -2009).
• HTTS: Harnessing Theories for Tool support. This is a joint project with University of Macau and it is support by Macao Science and Technology Development Fund (MOP 2,770,000, 2007 -2010).
• The UNU-IIST Research Program in the Grand Challenge Project of Verified Software