I am an assistant professor and deputy director of software engineering in the Department of Computing at Macquarie University in Sydney, Australia. I also serve as the International Engagement Coordinator, and the director of Intelligent Systems Research Group.

I have earned a PhD in software engineering from the Department of Electrical and Computer Engineering at the University of Texas at Austin. I was advised by Christine Julien. Four other professors in my PhD committee are: Dewayne Perry, Sarfraz Khurshid, Miryung Kim, and Raul G. Longoria.

Awards

• Top Downloaded Article 2017-2018

• Leading Publications 2018-2019 (Q1, SCI 1区-2区)

Research Interests

• Design and implementation of middleware for Cyber Physical Systems (CPS), Internet of Things (IoT), and Service Computing in general

• Reliability and security engineering for CPS, IoT, and Service Computing applications (e.g., using runtime verification, formal verification, test driven development, and machine learning algorithms)

• Apply real time simulation to aid verification and validation of CPS and IoT applications

• Sensing, recognition, and modelling of human motions (along with some endangered/dangerous animals) for various real-world applications

• Machine learning and data analytics

• Humanoid robotics (multi-agent systems, robotics motions, SLAM algorithms, and reliability engineering)

To potential students

I am recruiting well motivated and dedicated PhD students to do research in the above-mentioned research domains and research projects. I am also welcoming students to do internship units with me for those interesting yet challenging research projects.

Important notice for PhD and MRes applicants: you need to have 6.5 out of 7 of your master degree in the MQ GPA rating system to be considered for PhD scholarship. An exception can be made for strong applicants who have been working with me side by side for top journals/conferences or having extensive research and industry experience. The interview is mandatory for all applicants. Be sure to include “apply for ISRG PhD or MRes” in your email subject line to avoid being ignored.

Teaching

• Distributed Systems (COMP3100, or COMP335 as old code)

• Software Engineering (COMP2050, or COMP255 as old code)

• Distributed Systems (Postgraudate-ITEC801)

My PhD works

My PhD thesis looks into a practical way of bringing formal methods (e.g., temporal logics and automata theories) and simulation models into CPS runtime verification. My other research interests include distributed computing, multicore computation, Big Data, Relationship Database, Information Retrieval, Object-Oriented programming and design patterns, Model checking and simulation, Web application development and application development for smart phones.

What's New

• Context-aware verification and validation framework for autonomous driving (AWARDED 2021 AUSTRALIAN RESEARCH COUNCIL DISCOVERY PROJECT) (A$448,958)

• Excellence in Early Career Research Award – Highly Commended, Faculty of Science and Engineering, Macquarie University

• A Safety-Preserving Ecosystem for Autonomous Driving (AWARDED 2020 AUSTRALIAN RESEARCH COUNCIL LINKAGE PROJECT) (A$341,853)

• Trustworthy AI-human Interaction in Cyber-Physical Systems (AWARDED 2020 AUSTRALIAN DATA61/CSIRO CRP PROJECT) (A$130,440)

• Secure modern vehicle systems which includes building real-time simulation of CAN bus, Infotainment Systems, and VANETS

• Apply real-time simulation to aid verification and validation of CP and IoT applications

• Using MicroServices and Fog/Edge Computing to assist developing and deploying SaaS applications

• Create sensor networks middleware for assisted living

• Build health intervention systems for addictions with drugs, alcohol, and smoking

• Build robust humanoid robotics applications (e.g., Robocup)

• The Brace is a research work aimed for dynamic security and reliability analysis for IoT. It is an easy-to-use runtime verification middleware for dynamic analysis that can identify violation of formally specified safety and liveness properties.

• The SmartVM is an innovative development and deployment research work specifically designed for Microservice. The work originates from business requirements from a publicly listed software company in China, specialized in delivering restaurant software as a service, to solve some challenging research questions in adopting Microservices architecture for Cloud and Fog computing paradigm.

• The HealthWombat is research work specifically designed to improve the state of the art in providing health solutions for elder people and addicted people.