• Principal Investigator of MDA project "Systematic Design Methods and Tools for Developing Location Aware, Mobile and Pervasive Computing Systems" (supported by NRF-IDM, $361K, 2007-2010)
  • Principal Investigator of ARF-DSTA project "Advanced Languages and Tools for Web Ontology" (supported by ARF-URC and DSTA, 289K, 2006-2009)
  • Principal Investigator of MOE(ARF-T2) project "Rigorous Design Methods and Tools for Intelligent Autonomous Multi-Agent Systems" (Co-PI: R. Setiono, supported by MOE, $627K, 2004-2008)
  • Principal Investigator of InfoComm and InfoTech Initiative project "Reliable Software Design and Development for Sensor Network Systems" (supported by ARF/ICITI, $125K, 2005-2007)
  • Co-Principal Investigator A*STAR embedded systems "Formal Design Techniques for Reactive Embedded Systems" (PI: P.S. Thiagarajan, Co-PI: A. Roychoudhury, supported by A*STAR, $429K, 2003 - 2006)
  • Principal investigator of Defence Innovative Research Project (DIRP) "Formal Design Methods and DAML" (supported by DSTA, $334K, 2002 - 2004)
  • Principal Investigator of the research project on "Integrated Formal Methods" (supported by ARF-FRC, $125K 1999-2003)
  • Principal Investigator of the research project on "Adding Formality to UML" (supported by ARF-FRC, $18K 2000-2002)
  • Principal Investigator of A*STAR embedded systems pilot project "Techniques and Tools for Designing Embedded and Hybrid Systems" (supported by A*STAR, $27K 2002)
  • Co-Principal Investigator of Singapore-Ontario joint research programme on "Software Resuse Framework for Reliable Mission-Critical Systems" (PIs: S. Jarzabek and R. Seviora, $400K, supported by NSTB for NUS and Ministry of Energy, Sci and Tech of Canada for Uni of Waterloo, 1999-2002).
  • Foreign Investigator of the international joint research project on "Formal Engineering Methods for Software Development" (PI: S. Liu, supported by the Ministry of Education of Japan, 1999-2001).
  • Foreign Investigator of the international joint research program on "Safety Critical Systems and Formal Methods" (PI: S. Liu, supported by the Ministry of Education of Japan, 1997-1998).