Dr. LIU, Yang

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,

Editorship:

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

Organisations:

• Tool Demo Chair of 31th IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), Sep, Singapore, 2016
• General Chair of The 21th International Conference on Engineering of Complex Computer Systems (ICECCS 2015), Australia, Dec, 2015
• General Co-Chair of The Four International Workshop on Engineering Safety and Security Systems (ESSS 2015), Oslo, Norway, June 2015,
• Program Co-Chair of The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014), Singapore, Nov 2014,
• Publicity Chair of The 16th International Conference On Formal Engineering Methods (ICFEM 2014), 3 - 7 Nov, Luxembourg, 2014
• Local Chair of The 8th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2014), 7 - 10 July, Singapore, 2014
• General Chair of The 2nd French Singaporean Workshop in Formal Methods and Applications (FSFMA 2014), May Singapore, 2014
• Program Co-Chair of The Third International Workshop on Engineering Safety and Security Systems, May 12, Singapore, 2014
• Publicity Chair of The 19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014), 4 - 7 Aug, Tianjin China, 2014
• Track Co-Chair of The International Conference on Advanced Computing and Applications (ACOMP 2013) on Advances in Software Engineering Track, Ho Chi Minh City, Vietnam, October 23-25, 2013
• Program Co-Chair of The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014), Singapore, 2014
• Organizing committee of The 1st French Singaporean Workshop in Formal Methods and Applications (FSFMA 2013), Singapore, 2013
• Program Co-Chair of The International Congress on Advances in Citizen, Cyberspace & Environment Safety and Security (ACCESS 2013), Singapore, 2013
• Program Co-Chair of The Second International Workshop on Engineering Safety and Security Systems, March 18, Luxembourg, 2013
• Program Co-Chair of The Eighteenth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2013), Singapore, 2013
• Financial Chair and Local Chair of The 19th International Symposium on Formal Methods (FM 2014), Singapore, 2014
• Workshop and Tutorial Chair of The 13th International Conference on Formal Engineering Methods (ICFEM 2013), New Zealand.
• Program Co-Chair of The First International Workshop on Engineering Safety and Security Systems, Singapore, 22-23 Feb, 2012
• Program Co-Chair of The 1st International Workshop on Model Checking Secure and Reliable Systems (MoCSeRS 2010), Singapore, 9-10 June, 2010
• Registration Chair of The 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI'10), Singapore, 9-11 June, 2010
• Local Chair of The 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), 21-24 September 2010, Singapore




Program Committee Member of



• The 10th International Workshop on Security and Trust Management (STM 2014). Wrocław, Poland, September 10-11, 2014.
• The 21st Asia-Pacific Software Engineering Conference (APSEC 2014), Jeju Island, Korea, 1-4 December 2014.
• The 12th IEEE International Conference on Pervasive Intelligence and Computing (PICom 2014), Dalian, China, August 24-27, 2014.
• The 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014). Luxembourg, 2014.
• The 8th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2014), 7 - 10 July, Singapore, 2014
• The 16th International Conference On Formal Engineering Methods (ICFEM 2014), 3 - 7 Nov, Luxembourg, 2014
• The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014), Singapore, 2014
• The 19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014), 4 - 7 Aug, Tianjin China, 2014
• The Seventh International Conference on Dependability (DEPEND 2014) November 16 - 20, 2014 - Lisbon, Portugal
• The 8th International Symposium on Service-Oriented System Engineering (SOSE 2014), Oxford, UK. April 7-11 2014,
• The 17th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2014). Reno, Nevada, U.S.A., June 10-12, 2014.
• The First Workshop on Synthesis of Parameters (SynCoP: Synthesis of Continuous Parameters). April 2014, Grenoble, France.
• The 29th Symposium On Applied Computing, Track on Software Verification and Testing (SAC-SVT 2014). Gyeongju, Korea, March 24 - 28, 2014.
• The 2nd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2013). New Zealand. 2013.
• Editorial Advisory Board member for book Overcoming Challenges in Software Engineering Education: Delivering Non-Technical Knowledge and Skills.
• The Sixth International Conference on Dependability (DEPEND 2013) August 25 - 31, 2013 - Barcelona, Spain
• The 20th Asia-Pacific Software Engineering Conference (APSEC 2013). December 2013. Bangkok, Thailand.
• The 13th International Conference on Formal Engineering Methods (ICFEM 2013). New Zealand. 2013.
• The 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2013). Vancouver, British Columbia, Canada, December 2-4, 2013.
• The 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC 2013). Paderborn Germany, June 19-21, 2013.
• The 28th Symposium On Applied Computing, Track on Software Verification and Testing (SAC-SVT 2013). Coimbra, Portugal, from March 18th to 22nd, 2013.
• The 1st International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2012). November 12, Kyoto, Japan, 2012.
• The 19th Asia-Pacific Software Engineering Conference (APSEC 2012). December 4 - 7, Hong Kong, 2012.
• The 2012 Summer FTRA International Symposium on Advances in Cryptography, Security and Applications for Future Computing (ACSA-Summer 2012).
• The 50th International Conference on Objects, Models, Components and Patterns (TOOLS Europe 2012).
• The 36th Annual Computer Software and Applications Conference (COMPSAC 2012).
• The 15th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC 2012).
• The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2012).
• R50: Rediscovering 50 Years of Discoveries workshop, associated with the 50th annual meeting of the Association for Computational Linguistics (ACL 2012)
• The 4th International Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB 2010) .