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

cv ▪ google scholar ▪ twitter

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

• Mind the Gap: Reimagining an Interactive Programming Course for the Synchronous Hybrid Classroom, Christopher M. Poskitt, Kyong Jin Shim, Yi Meng Lau, and Hong Seng Ong. CSEE&T / HICSS'22.
• Code Integrity Attestation for PLCs using Black Box Neural Network Predictions, Yuqi Chen, Christopher M. Poskitt, and Jun Sun. ESEC/FSE'21.
• Incorrectness Logic for Graph Programs, Christopher M. Poskitt. ICGT'21.
• Active Fuzzing for Testing and Securing Cyber-Physical Systems, Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, and Fan Zhang. ISSTA'20.
• Securing Bring-Your-Own-Device (BYOD) Programming Exams, Oka Kurniawan, Norman Tiong Seng Lee, and Christopher M. Poskitt. SIGCSE'20.
• Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences, Yuqi Chen, Christopher M. Poskitt, Jun Sun, Sridhar Adepu, and Fan Zhang. ASE'19.
• Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System, Yuqi Chen, Christopher M. Poskitt, and Jun Sun. S&P'18.

See my research for more.

Current Teaching

See my teaching for more.

Recent Events

Programme Committees:

For my other activities, see here.