About Me
I commenced my lecturer appointment at University of Wollongong (UOW) on 1 March 2017. Before that, I was a senior research fellow at National University of Singapore (NUS). In June 2013, I received my PhD degree in computer science from the University of Technology Sydney (UTS), Australia.
Research Areas
- Formal verification and probabilistic verification
- Software performance and adaptation
- Big data analytics and engineering
- Software architecture
- Activity recognition
Recent Publications
Quantitative verification for monitoring event-streaming systemsto appear in IEEE Transactions in Software Engineering 2020
Wavelet packet analysis for speaker-independent emotion recognition, Neurocomputing 2020
Verifying the long-run behavior of probabilistic system models in the presence of uncertaintyaccepted on ESEC/FSE 2018
Probabilistic model checking of perturbed MDPs with applications to cloud computingaccepted on ESEC/FSE 2017
ProEva: runtime proactive performance evaluation based on continuous-time Markov chainsaccepted on ICSE 2017
Towards complex activity recognition using a Bayesian network-based probabilistic generative frameworkpublished on Pattern Recognition (2017)
Framework of mining semantic-based probabilistic event relations for complex activity recognitionpublished on Information Science (2017)