Dr Liu Yang graduated in 2005 with a Bachelor of Computing (Honours) in the National University of Singapore (NUS). In 2010 May, he obtained his PhD and continued with his post doctoral work in NUS. From 2011 to 2012, he worked as a Senior Research Scientist in NUS Temasek Laboratories before joining NTU. 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