Home Research Teaching Activities Personal
Chris Poskitt

Activities

Service Appointments

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

Invited Talks

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

PhD Examination

I have evaluated the PhD dissertations of the following students:

2024 Towards Explainable Neural Network Fairness
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

Events

Programme Committees:

2025 ICSE
2024 FormaliSE, ICGT, SiMLA
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

Journal Refereeing

See my CV for conference/workshop subreviewing.