Chris Poskitt

Chris Poskitt is an Associate Professor of Computer Science (Education) at the School of Computing and Information Systems (SCIS) at Singapore Management University (SMU). He also serves as Director of the BSc (IS) Smart-City Management & Technology Major and Director of Undergraduate Administration at SCIS. Dr. Poskitt is an active member of the System Analysis and Verification (SAV) research group within SCIS.

Dr. Poskitt completed his PhD in 2014 at the University of York (UK) under the supervision of Detlef Plump. Prior to joining SMU, he was a postdoctoral researcher for three years at ETH Zürich, where he worked with Bertrand Meyer. His academic journey reflects a strong foundation in formal methods and software engineering principles.

Dr. Poskitt's research broadly addresses the problem of engineering correct and secure software and systems. His work spans several key areas including software engineering, formal methods, cybersecurity, and computer science education. He has developed innovative techniques for testing and defending cyber-physical systems using fuzzing and machine learning, tools for analyzing execution models of concurrency APIs, and logics for reasoning about the correctness of graph-rewriting programs. His research projects include AI agent safety, autonomous vehicle testing, critical infrastructure security, defending cyber-physical systems, analyzing actor-like concurrency models, verifying graph programs, and software engineering education.

Dr. Poskitt's recent publications (2024-2026) demonstrate a strong focus on safety and security of autonomous systems, particularly autonomous vehicles and LLM agents. His work combines formal methods with practical applications, addressing challenges in runtime enforcement, causality analysis, and automatic repair of system behaviors. There's a clear progression from foundational work on graph transformation and formal verification toward applied research on cyber-physical systems and AI safety, with an increasing emphasis on real-world impact.

Dr. Poskitt serves as research advisor to students including Huang Shaofei, WANG Haoyu, and ZHAO Lu. His research has been supported by various grants that have enabled publications across top software engineering and security venues including ICSE, FSE, ASE, and IEEE Transactions. He has served on numerous prestigious program committees including ICSE, FSE, ASE, and ICGT, indicating recognition by his peers in the software engineering community.

Dr. Poskitt is part of the System Analysis and Verification (SAV) group at SMU's School of Computing and Information Systems. This research group focuses on formal methods and verification techniques for software systems, with particular emphasis on safety and security properties. His work often involves collaboration with researchers at institutions including ETH Zürich and other international partners.