Chris Poskitt

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

Office: SCIS 2, Level 4, Room 4098

cposkitt@smu.edu.sg   +65 6826 1376

cv ▪ google scholar ▪ linkedin ▪ bluesky ▪ mastodon

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.

Recent Publications

• AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents, Haoyu Wang, Christopher M. Poskitt, and Jun Sun. ICSE'26.
• Causality-Driven Test Case Minimisation for Cyber-Physical Systems, Michael Foster, Christopher M. Poskitt, Nicholas R. Latimer, Neil Walkinshaw, Richard Somers, and Robert M. Hierons. TOSEM'26.
• ProbGuard: Proactive Runtime Monitoring for LLM Agent Safety via Probabilistic Prediction, Haoyu Wang, Christopher M. Poskitt, Jiali Wei, and Jun Sun. ASE'26.
• Natural Adversaries: Fuzzing Autonomous Vehicles with Realistic Roadside Object Placements, Yang Sun, Haoyu Wang, Christopher M. Poskitt, and Jun Sun. ICST'26.
• Security Modelling for Cyber-Physical Systems: A Systematic Literature Review, Shaofei Huang, Christopher M. Poskitt, and Lwin Khin Shar. TCPS'26.
• FixDrive: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation, Yang Sun, Christopher M. Poskitt, Kun Wang, and Jun Sun. ICSE'25.
• Developing a Strong CPS Defender: An Evolutionary Approach, Qingyuan Hu, Christopher M. Poskitt, Jun Sun, and Yuqi Chen. RAID'25.
• Simulated Interactive Debugging, Yannic Noller, Erick Chandra, Srinidhi Chandrashekar, Kenny Choo, Cyrille Jegourel, Oka Kurniawan, and Christopher M. Poskitt. ASE-NIER'25.
• Designing for Novice Debuggers: A Pilot Study on an AI-Assisted Debugging Tool, Oka Kurniawan, Erick Chandra, Christopher M. Poskitt, Yannic Noller, Kenny Tsu Wei Choo, and Cyrille Jegourel. Koli Calling'25.

See my research for more.

Current Teaching

See my teaching for more.

Recent Events

Programme Committees:

For my other activities, see here.