Home Research Teaching Activities Personal
Chris Poskitt


Admin Appointments

Since January 2022, I have served as the Director of the Smart-City Management & Technology Major at SMU. Please get in touch if you are interested in our programme!

Invited Talks

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 served on the Thesis Committees of the following students:

ongoing Towards Evaluating How Easy It Is to Explain a Neural Network’s Decisions
Mengdi Zhang, SMU
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:

2023 ESEC/FSE, ICGT (Co-Chair)
2022 GCM (Co-Chair), AIoTS, SiMLA
2021 SiMLA
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.