Chris Poskitt

Assistant 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 4096

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

• Monadic Second-Order Incorrectness Logic for GP 2, Christopher M. Poskitt and Detlef Plump. JLAMP'23.
• LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles, Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang. ASE'22.
• XSS for the Masses: Integrating Security in a Web Programming Course using a Security Scanner, Lwin Khin Shar, Christopher M. Poskitt, Kyong Jin Shim, Li Ying Leonard Wong. ITiCSE'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.