SMU AgentSpec AI Safety Breakthrough | Singapore Higher Ed News
Explore SMU's AgentSpec framework, a breakthrough publication on May 3, 2026, ensuring safe and reliable LLM agents through innovative runtime enforcement.
No reviews yet. Be the first to rate Christopher!
Christopher Poskitt is an Associate Professor of Computer Science (Education) in the School of Computing and Information Systems at Singapore Management University. He earned his PhD from the University of York in 2014 and subsequently completed a three-year postdoctoral position at ETH Zürich. His research focuses on the engineering of correct and secure software systems, with particular emphasis on formal methods, model-driven engineering, software testing, fuzzing techniques for cyber-physical systems, and analysis of concurrency APIs. At Singapore Management University, he serves as Director of the BSc (IS) Smart-City Management & Technology Major and Director of Undergraduate Administration. He teaches courses including Enterprise Solution Development, DevOps Principles and Practices, and Software Project Management. Poskitt has contributed to programme committees for conferences such as ICSE, FSE, and ISSTA, and has co-chaired events including ICGT 2023. His work advances techniques for testing and defending cyber-physical systems and reasoning about graph-rewriting programs.
Explore SMU's AgentSpec framework, a breakthrough publication on May 3, 2026, ensuring safe and reliable LLM agents through innovative runtime enforcement.