Home Research Teaching Activities Personal

Chris Poskitt

Assistant Professor of Computer Science (Education)
School of Computing and Information Systems
Singapore Management University
80 Stamford Road
Singapore 178902

Office: LKCSB 4013

cposkitt@smu.edu.sg   +65 6826 1376

cvgoogle scholartwitter
Photo of Chris Poskitt

I am a faculty member in the School of Computing and Information Systems at Singapore Management University, where I am part of the System Analysis and Verification (SAV) group. I completed my PhD in 2014 at the University of York (UK), under the supervision of Detlef Plump. Before coming to Singapore, I was a postdoc for three years at ETH Z├╝rich, where I worked with Bertrand Meyer.

My research broadly addresses the problem of engineering correct and secure software/systems. I have worked on techniques for testing/defending cyber-physical systems using fuzzing and machine learning, tools for analysing execution models of concurrency APIs, and logics for reasoning about the correctness of graph-rewriting programs.

Selected Recent Publications

See my research for more.

Current Teaching

2021-22 Term 1 CS302: IT Solution Lifecycle Management
IS212: Software Project Management
2020-21 Term 2 IS213: Enterprise Solution Development
IS215: Digital Business - Technologies and Transformation

See my teaching for more.

Recent Events

Programme Committees:

2021 SiMLA
2020 VSTTE, AST, AIoTS
2019 ICGT, GCM, AIoTS
2018 iFM, CPS-SPC

For my other activities, see here.