I hold the following responsibilities at SMU:
| 2023–present | Member, Faculty Senate, SMU |
| 2023–present | Director, Undergraduate Administration, SCIS |
| 2022–present | Director, Smart-City Management & Technology Programme, SCIS |
| 2023 | Finding Causally Different Tests for an Industrial Control System Sheffield Causality and Testing Workshop, University of Sheffield |
| 2023 | Finding Causally Different Tests for an Industrial Control System PLSE Seminar, NUS |
| 2023 | Facilitating Class Participation: Fighting the Wayang The Teaching Exchange, SUTD |
| 2020 | Facilitating an Effective Mixed-Mode Class [resources] Centre for Teaching Excellence (CTE) Seminar, SMU |
| 2019 | Securing and Trusting Cyber-Physical Systems CIS Department Seminar, University of Melbourne |
| 2018 | Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System Programming Systems Group Seminar, UCSD |
| 2015 | A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs [slides] Dagstuhl Seminar no. 15451: Verification of Evolving Graph Structures |
| Hoare-Style Verification for GP 2 [slides] Dagstuhl Seminar no. 15451: Verification of Evolving Graph Structures |
I have evaluated the PhD dissertations of the following students:
| ongoing | Towards Evaluating How Easy It Is to Explain a Neural Network’s Decisions Mengdi Zhang, SMU |
| 2023 | Attacks and Defenses of Cyber Physical Systems Moshe Kravchik, Ben-Gurion University of the Negev |
| 2022 | A Hybrid Scheme for Intrusion Detection in Cyber Physical Systems Muhammad Azmi Umer, KIET |
| 2019 | Automatic Defense and Analysis of Cyber-Physical Systems Yuqi Chen, SUTD |
| 2019 | Learning Invariants and Assertions Pham Hong Long, SUTD |
| 2016 | Seamless Heterogeneous Computing: Combining GPGPU and Task Parallelism Alexey Kolesnichenko, ETH Zürich |
Programme Committees:
| 2024 | FormaliSE |
| 2023 | ESEC/FSE, ICGT (Co-Chair), ICSE (SRC Judge), iFM (PhD Symp.) |
| 2022 | GCM (Co-Chair), AIoTS, SiMLA |
| 2021 | SiMLA |
| 2020 | VSTTE, AST, AIoTS |
| 2019 | ICGT, GCM, AIoTS |
| 2018 | iFM, CPS-SPC |
Organising Committees:
| 2023 | STAF (Web Chair) |
| 2014 | Niklaus Wirth 80th Birthday Symposium |
See my CV for conference/workshop subreviewing.