|Academic Profile |
| || |
Assoc Prof Liu Yang
School of Computer Science and Engineering
College of Engineering
Phone: (+65)6790 6706
- PhD (Comp Sci) National University of Singapore 2010
- BA(Hons) (Comp Sci) National University of Singapore 2005
|Dr. Yang Liu graduated in 2005 with a Bachelor of Computing (Honours) in the National University of Singapore (NUS). In 2010, he obtained his PhD and started his post doctoral work in NUS, MIT and SUTD. In 2012 fall, he joined Nanyang Technological University (NTU) as a Nanyang Assistant Professor. He is currently an associate professor.|
Dr. Liu specializes in software verification, security and software engineering. His research has bridged the gap between the theory and practical usage of formal methods and program analysis to evaluate the design and implementation of software for high assurance and security. By now, he has more than 200 publications in top tier conferences and journals. He has received a number of prestigious awards including MSRA Fellowship, TRF Fellowship, Nanyang Assistant Professor, Tan Chin Tuan Fellowship, and 8 best paper awards in top conferences like ASE, FSE and ICSE.
|Dr Liu's current research interests are related to Formal Methods, Software Security and Software Engineering. Currently, He is heavily involved in the Process Analysis Toolkit (PAT) development, which is a self-contained framework to support composing, simulating and reasoning of various systems (e.g., concurrent and real-time systems, probabilistic systems, web-service, security protocols, sensor networks, software architecture description language and so on). PAT tool can be found at www.patroot.com|
- AI for SW Engineering
- Automatic Checking and Verification of Security Protocol Implementations
- BINSEC: Binary Analysis for Security
- Cloud-based Mobile App Testing Service
- Distributed Plant Modeling, fault Diagnosis, And Supervisor Control Of Large Scale Automated Maunfacturin Systems
- EDEX GRANT
- Formal Modeling and Analysis of Collaborative Security
- Improving Cybersecurity through Optimal Policy Design and Human Behaviour Modelling
- Mobile (iOS) Security Study for Cyber-Attack Prevention
- National Satellite of Excellence in Trustworthy Software Systems
- Pillar 2-AI Programme (HP)
- Pillar 2-AI Programme (IAF-ICP)
- Pillar 2-AI Programme (NTU)
- Pillar 3-Cybersecurity Programme (HP)
- Pillar 3-Cybersecurity Programme (IAF-ICP)
- Pillar 3-Cybersecurity Programme (NTU)
- Productive Failure via Educational Games for Tertiary Education
- Robust Control of Large Scale Concurrent Systems with Unreliable Resources
- Scalable Malware and Vulnerability Analysis Using Program Metrics
- Security Enhancements For ATM And POS Systems
- Smart Binary-level Vulnerability Assessment for Cyber-attack Prevention
- Software Vulnerability Discovery Tool Building
- VULNERABILITY DETECTION IN BINARY CODE
- Vulnerability Detection in Binary Code
- Jakub Breier, Xiaolu Hou, Yang Liu. (2018). Fault Attacks Made Easy: Differential Fault Analysis Automation on Assembly Code. TRANSACTIONS ON CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS, 1(2).
- Y. Zhou, H. Hu, Y. Liu, S.W. Lin. (2018). Distributed approaches to motion control of multiple robots via discrete event systems. Journal of Control Theory and Applications, 35(1), 110-120.
- Xiaofei Xie, Bihuan Chen, Liang Zou,Yang Liu, Wei Le, Xiaohong Li. (2017). Automatic Loop Summarization via Path Dependency Analysis. IEEE Transactions on Software Engineering, .
- Y. Zhou, H. Hu, Y. Liu, S.W. Lin, Z. Ding. (2017). A Real-Time and Fully Distributed Approach to Motion Planning for Multirobot Systems. IEEE Transactions on Systems, Man, and Cybernetics: Systems, .
- Xiaofei Xie, Bihuan Chen, Liang Zou, Shang-wei Lin, Yang Liu, Xiaohong Li. (2017). ESEC/FSE 2017 Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering: Loopster: static loop termination analysis. The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE).