Home Research Teaching Activities Personal
Chris Poskitt

Activities

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

Events

Programme Committees:

2022 GCM (Co-Chair)
2021 SiMLA
2020 VSTTE, AST, AIoTS
2019 ICGT, GCM, AIoTS
2018 iFM, CPS-SPC

Organising Committees:

2014 Niklaus Wirth 80th Birthday Symposium

Journal Refereeing

See my CV for conference/workshop subreviewing.