Resarch Grants

  1. Distributed Plant Modelling, Fault diagnosis, and Supervisor Control of Large Scale Automated Manufacturing Systems (01 Nov 2014 - 31 Oct 2017) Tier 1, Principal Investigator, Amount: 100,000 SGD. Account No. M4011267.020
  2. Gamifying and Socializing Teaching and Learning of Software Engineering (10-12-2014 - June 2016) EDEX GRANT, Principal Investigator, Amount: 31,000 SGD. Account No. M4081522.020.500000 (50025000 Grant-NTU (Op & Res))
  3. Vulnerability Detection in Binary Code (1 April 2014 - 31 March 2017) Principal Investigator, Amount: 471,000 SGD. Account No. M4061366.680 (601001 Manpower)
  4. Bring the Advanced Model Checking Techniques to Real-world Problems (March 2014 - Feb 2016) Tier 1, Principal Investigator, Amount: 50,000 SGD. Account No. M4011178.
  5. Framework of Rapid Simuation of Complex Business Systems (2013 - 2017), funded by RollsRoyce@NTU Corporate Lab, Co-Principal Investigator, Amount: 500,000 SGD
  6. Formal Verification on Cloud. (May 2013 - Apr 2016), NTU-NAP, Principal Investigator, Amount: 900,000 SGD. Account No. M4081155.020.500000 (601001 Manpower)
  7. CATS - Compositional Analysis of Timed Systems. (2013 - 2014), STIC-ASIE funding, Co-Principal Investigator, Amount: 30,000 Euro
  8. Formal Modeling and Analysis of Collaborative Security. (Dec 2012 - March 2013), COE-SCE Seed Fund, Co-Principal Investigator. Amount: 45,000 SGD Account No. M4081086.020.500000
  9. Automatic Checking and Verification of Security Protocol Implementations. (2012 - 2014), Start Up Grant, Principal Investigator, S$100,000. Account No. M4080996.020.500000
  10. Software Verification from Design to Implementation. (1 March 2012 - 1 March 2014), funded by The French Embassy of Singapore. Co-Principal Investigator, Amount: S$60,000
  11. Model Checking System of Systems. (2011-2014), supported by Temasek Defence Systems Institute (TDSI), Research Collaborator, Amount: S$252,867.
  12. Security-Level-Oriented Software Requirement Engineering Methods. (2013.1- 2016.12), National Science Foundation of China (No. 91118003, 61272106), Research Collaborator, Amount: 800,000RMB,

Professional and Research Activities

Editorship:


  • Associate Editor, IEEE Access Journal (2014 - present)


Organisations: