Dr. LIU, Yang Senior Research Scientist (Temasek Research Fellow and Principal Investigator) School of Computing, National University of Singapore Computing 1 (COM1) 13 Computing Drive, Singapore 117417 E-mail: liuyang AT comp.nus.edu.sg Office Tel: (65) 6516 1510 Fax: (65) 6779 1610 Office: COM2 02-18 (next to COM1 building) Get me if anything urgent, but don't abuse it.

About Me (This is a CV like page)

Postdoc Research Fellow Positions on Model Checking on Security Verification are Available!

Resarch Grants

• Research and Development in the Formal Verification of System Design and Implementation. (6 Oct 2011 - 5 Oct 2014), TRF Funding, (Sole) Principal Investigator, S$1,150,000. WBS No. R394-000-063-23
• Model Checking System of Systems. (2011-2014), supported by Temasek Defence Systems Institute (TDSI), Research Collaborators, S$252,867.

Education

• July 2005 - May 2010, National University of Singapore, Singapore
  Ph.D. (CAP 4.56/5)
  Thesis: Model Checking Concurrent and Real-time Systems: the PAT Approach
  Supervisors: Dr. Dong JinSong and Dr. Rudy Setiono.
  Nominated for best thesis.
• July 2001 - Jun 2005, National University of Singapore, Singapore
  Bachelor of Computing Science with Honour First Class. (CAP 4.83/5)
  Mathematics Minor
  
• Dec 2000 - Jun 2001, National Institute of Education, Singapore
  Intensive English training course.
• Sep 2000 - Nov 2000, Zhe Jiang University, China
  Electrical Engineering in an accelerated class. Received scholarship from Ministry of Education, Singapore after two months.

Awards and Scholarship

• Temasek Research Fellowship 2011
  The Temasek Research Fellowship is a scheme aimed at recruiting outstanding young researchers with a Ph.D Degree in science or technology. The scheme provides young researchers an opportunity to conduct and lead research that is relevant to defence. Some photos of the TRF award ceremony.
• Dean's Graduate Research Excellence Award 2009/2010
  
• Research Achievement Award 2008/2009
  
• Microsoft Asia Research Fellowship 2007
  The annual Microsoft Fellowship Program is designed to support talented PhD students who have the potential to become future research leaders. Over the past seven years, 159 recipients have participated in the program. Fellowships have been awarded to outstanding students from more than 30 universities and research institutes throughout the Asia-pacific Region since 1999.
  
• Graduate Scholarship in National University of Singapore, 2005 - 2009.
• Tata Consultancy Services Asia Pacific Medal and Prize
  The second best graduate throughout the course of study for the Bachelor of Computing (Honours) in the School of Computing, NUS. (2nd of 800+ students with CAP 4.83/5).
• No. 4 in Microsoft Imagine Cup Competition, Singapore, 2005 May
  We are a gang of four: Guo Liang, Huang Wenfan, Liu Yang (team leader) and Ng Junping. We developed the eWorld System, which is a sign language capturing and interpretation system, supervised by Dr Huang Zhiyong.
• Place on Dean's List in academic season 2004/2005
• Place on Dean's List in academic season 2003/2004
• Place on Dean's List in academic season 2002/2003
• Place on Dean's List in academic season 2001/2002.
• Undergraduate Scholarship for PRC Students from MOE, 2000 - 2005.

Publication my DBLP publication list

• Total number of citations: ~300. All citation data has been collected from Google Scholar.
• H-index = 10. H-index is the maximum value of H such that there are H papers co-authored by me with H or more citations.

1. Chunqing Chen, Jun Sun, Yang Liu, Jin Song Dong and Manchun Zheng, Formal Modeling and Validation of Stateflow Diagrams. The International Journal on Software Tools for Technology Transfer (STTT), 2012. (Accepted)
2. Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi and Etienne Andre, Modeling and Verifying Hierarchical Real-time Systems using Stateful Timed CSP. ACM Transactions on Software Engineering and Methodology (TOSEM), 2012. (Accepted)
3. Luu Anh Tuan, Jun Sun, Yang Liu, Jin Song Dong, Xiaohong Li, and Quan Thanh Tho. SEVE: Automatic Tool for Verification of Security Protocols, Frontiers of Computer Science, Special Issue on Formal Engineering Method, 6(1):57-75, 2012.
4. Jun Sun, Yang Liu, Jin Song Dong and Jing Sun, Compositional Encoding for Bounded Model Checking. Frontiers of Computer Science, Nov, 2008.
5. Yang Liu and Jun Sun, Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. Electronic Notes in Theoretical Computer Science, vol 151, issue 2, pp. 107-124, May, 2006. An early version appeared at International Workshop on Web Languages and Formal Methods (WLFM'05).

1. Jun Sun, Yang Liu and Jin Song Dong, Timed Automata. CRC Handbook of Finite State Based Models and Applications, Jiacun Wang (Editor), 2011. (Accepted)

1. Jin Song Dong, Jun Sun and Yang Liu, Introduction to PAT (Half Day). The 17th International Symposium on Formal Methods (FM 2011), Lero, Limerick, Ireland, June 20 - 24, 2011. (Accepted)

1. Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong and Etienne Andre. Automatic Compositional Verification of Timed Systems. The 18th International Symposium on Formal Methods (FM 2012), Paris, France, Auguest 27 - 31, 2012 (Accepted).
2. Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong and Yan Liu. Improved BDD-based Discrete Analysis of Timed Systems. The 18th International Symposium on Formal Methods (FM 2012), Paris, France, Auguest 27 - 31, 2012 (Accepted).
3. Yan Liu, Xian Zhang, Yang Liu, Jun Sun, Jin Song Dong, Jit Biswas and Mounir Mokhtari. Formal Analysis of Pervasive Computing Systems. The 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012), Paris, France, July 18 - 20, 2012 (Accepted).
4. Yi Li, Jing Sun, Jin Song Dong and Yang Liu. Translating PDDL into CSP# - the PAT Approach. The 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012), Paris, France, July 18 - 20, 2012 (Accepted).
5. Étienne André, Yang Liu, Jun Sun and Jin Song Dong. Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. The 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012), Paris, France, July 18 - 20, 2012 (Accepted).
6. Songzheng Song, Jun Sun, Yang Liu, and Jin Song Dong. A Model Checker for Hierarchical Probabilistic Real-time Systems. 24th International Conference on Computer Aided Verification (CAV 2012), Berkeley, California, USA, July 7-13, 2012. (Accepted)
7. GuanJun Liu, Jun Sun, Yang Liu, and Jin Song Dong. Complexity of the Soundness Problem of Bounded Workflow Nets. The 33rd International Conference on Application and Theory of Petri Nets and Concurrency (PN 2012), Hamburg, Germany, June 25-29, 2012. (Accepted)
8. Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-Fung Leung, and Jin Song Dong. Analyzing Multi-agent Systems with Probabilistic Model Checking Approach. The 34th International Conference on Software Engineering (ICSE 2012), New Ideas and Emerging Results (NIER), Zurich, Switzerland, June 2 - 9, 2012. (Accepted)
9. Truong Khanh Nguyen, Jun Sun, Yang Liu and Jin Song Dong. A Symbolic Model Checking Framework for Hierarchical Systems. Proceedings of the 26th International Conference on Automated Software Engineering, Oread, Lawrence, Kan, November 6-11, 2011. (Accepted)
10. Manchun Zheng, Jun Sun, David Sanan, Yang Liu, Jin Song Dong and Yu Gu. Towards Bug-free Implementation for Wireless Sensor Networks. The 9th ACM Conference on Embedded Networked Sensor Systems (SenSys 2011), November 1-4, Seattle, WA, 2011. (Accepted)
11. Yang Liu, Jun Sun and Jin Song Dong. PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers. The 22nd annual International Symposium on Software Reliability Engineering (ISSRE 2011), Hiroshima, Japan, Nov 29 - Dec 2, 2011. (Accepted)
12. Zhenchang Xing, Jun Sun, Yang Liu and Jin Song Dong. Differencing Labeled Transition Systems. The 13th International Conference on Formal Engineering Methods (ICFEM 2011), Durham, United Kingdom, October 25-28, 2011. (Accepted)
13. Jun Sun, Yang Liu, Songzheng Song and Jin Song Dong. PRTS: An Approach for Model Checking Probabilistic Real-time Hierarchical Systems. The 13th International Conference on Formal Engineering Methods (ICFEM 2011), Durham, United Kingdom, October 25 -28, 2011. (Accepted)
14. Manchun Zheng, Jun Sun, Yang Liu, Jin Song Dong and Yu Gu. Towards a Model Checker for NesC and Wireless Sensor Networks. The 13th International Conference on Formal Engineering Methods (ICFEM 2011), Durham, United Kingdom, October 25 -28, 2011. (Accepted)
15. Tian Huat Tan, Yang Liu, Jun Sun and Jin Song Dong. Verification of Computation Orchestration System with Compositional Partial Order Reduction. The 13th International Conference on Formal Engineering Methods (ICFEM 2011), Durham, United Kingdom, October 25-28, 2011. (Accepted)
16. Shang-Wei Lin, Etienne Andre, Jin Song Dong, Jun Sun, and Yang Liu. Efficient Algorithm for Learning Event-Recording Automata. The 9th International Symposium on Automated Technology for Verification and Analysis (ATVA 2011). Taipei, Taiwan, October 11 - 14, 2011.
17. Shaojie Zhang, Jun Sun, Jun Pang, Yang Liu and Jin Song Dong. On Combining State Space Reductions with Global Fairness Assumptions. The 17th International Symposium on Formal Methods (FM 2011), pages 432 - 447, Lero, Limerick, Ireland, June 20 - 24, 2011.
18. Jun Sun, Yang Liu, Geguang Pu and Tian Huat Tan. Model-based Methods for Linking Web Service Choreography and Orchestration. The 17th Asia Pacific Software Engineering Conference (APSEC 2010), Sydney, Australia, 30 November - 3 December 2010.
19. Yang Liu, Jun Sun and Jin Song Dong. Analyzing Hierarchical Complex Real-time Systems. The ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2010), Santa Fe, New Mexico, USA, 7-11 November 2010.
20. Jun Sun, Yang Liu and Bin Cheng. Model Checking a Model Checker: A Code Contract Combined Approach. The 12th International Conference on Formal Engineering Methods (ICFEM 2010), Shang Hai, China, 16-19 November 2010. (Accepted).
21. Jun Sun, Songzheng Song and Yang Liu. Verifying Probabilistic Hierarchical Systems. The 12th International Conference on Formal Engineering Methods (ICFEM 2010), Shang Hai, China, 16-19 November 2010.
22. Zhenchang Xing, Jun Sun, Yang Liu and Jin Song Dong. SpecDiff: Debugging Formal Specifications. The 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), Antwerp, Belgium, 20-24 September 2010. (Accepted).
23. Yang Liu, Jun Sun, Jin Song Dong. Developing Model Checkers Using PAT. 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), Singapore, 2010.
24. Yuzhang Feng, Yang Liu, Yuan-Fang Li and Daqing Zhang. Discovering Anomalies in Semantic Web Rules. The 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010). Singapore, June, 2010.
25. Shaojie Zhang and Yang Liu. Model Checking a Lazy Concurrent List-Based Set Algorithm. The 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010). Singapore, June, 2010. Best Paper Awards.
26. Xian Zhang, Yang Liu and Mikhail Auguston. Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP. The 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010). Singapore, June, 2010.
27. Shaojie Zhang and Yang Liu. An Automatic Approach to Model Checking UML State Machines. The 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010). Singapore, June, 2010.
28. Yang Liu, Jun Sun and Jin Song Dong. Scalable Multi-Core Model Checking Fairness Enhanced Systems. The 11th International Conference on Formal Engineering Methods (ICFEM 2009). Rio de Janeiro, Brazil, December, 2009.
29. Jun Sun, Yang Liu, Jin Song Dong and Xian Zhang. Verifying Stateful Timed CSP using Implicit Clocks and Zone Abstraction. The 11th International Conference on Formal Engineering Methods (ICFEM 2009). Rio de Janeiro, Brazil, December, 2009.
30. Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu and Jin Song Dong. Fair Model Checking of Parameterized Systems. The sixth International Symposium on Formal Methods (FM 2009). Eindhoven, the Netherlands, November, 2009.
31. Yang Liu, Wei Chen, Yanhong A. Liu and Jun Sun. Model Checking Lineariability via Refinement. The sixth International Symposium on Formal Methods (FM 2009). Eindhoven, the Netherlands, November, 2009.
32. Yang Liu, Jun Pang, Jun Sun and Jianhua Zhao. Verification of Population Ring Protocols in PAT. The 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2009). China.
33. Jun Sun, Yang Liu, Jin Song Dong and Chun Qing Chen. Integrating Specification and Programs for System Modeling and Verification. The 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2009). China.
34. Shaojie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen and Yanhong A. Liu. Formal Verification of Scalable NonZero Indicators. The 21st International Conference on Software Engineering and Knowledge Engineering (SEKE 2009). pages 406-411, USA. 2009.
35. Jun Sun, Yang Liu, Jin Song Dong and Jun Pang. Towards Flexible Verification under Fairness. The 21th International Conference on Computer Aided Verification (CAV 2009). pages 702-708, France, 2009.
36. Jun Sun, Yang Liu, Jin Song Dong and Hai H. Wang. Specifying and Verifying Event-based Fairness Enhanced Systems. The 10th International Conference on Formal Engineering Methods (ICFEM 2008). Japan, 2008.
37. Jun Sun, Yang Liu and Jin Song Dong. CSP Model Checking Revisited: Introducing a Process Analysis Toolkit. The third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008), Greece, October 13-15, 2008.
38. Jun Sun, Yang Liu and Jin Song Dong. Bounded Model Checking of Compositional Processes, 2nd IEEE & IFIP Theoretical Aspects of Software Engineering Conference (TASE 2008), NanJing, China, Jun. 2008.
39. Yang Liu, Jun Sun and Jin Song Dong. An Analyzer for Extended Compositional Process Algebras, The 30th International Conference on Software Engineering (ICSE 2008), Germany, 2008.
40. Jin Song Dong, Yang Liu, Jun Sun and Xian Zhang, Verification of Computation Orchestration via Timed Automata. 8th International Conference on Formal Engineering Methods (ICFEM'06), Macau, November 2006.
41. Yang Liu and J. Sun, Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. International Workshop on Web Languages and Formal Methods (WLFM'05), joint with FM'05, University of Newcastle upon Tyne, UK, 2005

Professional and Research Activities

• Organisations:
  • Program Co-Chair of The 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
  • Workshop and Tutorial Chair of The 13th International Conference on Formal Engineering Methods (ICFEM 2013), New Zealand.
• Program Committee Member of
  • 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) .

Work Experiences

• Feb 2011 - March 2011, MIT
  Visiting Researcher (Full-Time)
  
• June 2007 - Present, School of Computing, National University of Singapore
  Developer for Research Projects (Full-Time)
  Developing PAT to be a general analysis toolkit (model checking) for concurrent systems: CSP, Web Service, Security. The system is developed in C# 2.0 with 200K Lines of Code.
• Feb 2008 - Aug 2008, Theory Group, Microsoft Research Asia, Bei Jing, China
  Research Fellow (Full-Time)
  Worked with Prof Wei CHEN on model checking linearizability of distributed algorithms.
• June 2005 - June 2007, Chinese Faculty, National University of Singapore
  Software Developer (Part-Time)
  Developed Corpus, a Chinese words analysis tool. (using C# and a self-contained database for fast words store and query)
  Developed the website for Chinese faculty.
• Nov 2005 - May 2006, National University of Singapore
  Research Assistant (Full-Time)
  Research on web service orchestration verification.
• May 2003 - Present, Wieland Metal Singapore, Singapore
  Software Architect (Part-Time)
  Developed an ERP application framework WMSAF based on the ERP system SOLOMON, 2003 - Present. (using VB.NET+MS-SQL, roughly 300K lines of code, the whole system is developed by myself.)
  Developed 10+ application modules for WMSAF: Quotation Manager, Claim Manager, CSMAT, NCCM, SDMR and Demand Analyser Currently, it has running for 5 years in both Singapore and Shang Hai branch, and going to version 3.1.
• Dec 2003 - May 2004, Wieland Metal Singapore, Singapore
  Industrial Attachment: Part-Time Programmer
  Developed several small scaled MS access applications.

Teaching Experiences

• Jan 2009 - May 2009/Jan 2010 - May 2011, CS5232 Formal Specification and Design Techniques, SOC, NUS
  Guest Lecturer
• Aug 2008 - Dec 2008, CS2103 Software Engineering, SOC, NUS
  Tutor
  
• Aug 2008 - Dec 2008, CS4211 Advanced Software Engineering, SOC, NUS
  Tutor
  
• Aug 2007 - Dec 2007, CS3215 Software Engineering Project, SOC, NUS
  Course Instructor
  
• Jan 2007 - May 2007, CS3215 Software Engineering Project, SOC, NUS
  Course Instructor
  Course Information
• Aug 2006 - Dec 2006, CS2103 Software Engineering, SOC, NUS
  Tutor
  Tutorial Resources
• Aug 2004 - Dec 2004, CS2103 Software Engineering, SOC, NUS
  Tutor
• 2002 - 2003, Computing Club, NUS
  Teaching Assistant for Flash, ASP.NET courses

Useful Links

• TLab Publication System
• The ACM Computing Classification System
• CiteSeer
• ZML
• CZT
• Orc Language
• CAJOLE
• JPad Project by Sam
  An interesting project about how to make an ergonomic input device.
  
• Corpus Update History
• Software Engineering Conferences with Google Map
• SOC Page Count help