HighlightsThese highlights are AI-generated using the faculty's CV and Google Scholar profile
Chris Poskitt is a leading educator and researcher in software engineering, formal methods, and cybersecurity, renowned for advancing techniques to ensure the correctness and security of cyber-physical systems and for his impactful contributions to computer science education.
Combines rigorous formal methods and practical software engineering to enhance the reliability and security of cyber-physical systems; bridges research and education through innovative teaching tools and methodologies; recognized for methodological advances in testing, verification, and runtime enforcement, and for integrating cybersecurity into computer science curricula; extensive collaboration and leadership in international research and academic communities.
Focused research areas include Engineering correct and secure software and systems, including formal verification, adversarial testing, and runtime enforcement for cyber-physical systems; development of logics for graph programs; automated feedback and AI-driven tools for novice programmers; integrating security into programming education.
Combines rigorous formal methods and practical software engineering to enhance the reliability and security of cyber-physical systems; bridges research and education through innovative teaching tools and methodologies; recognized for methodological advances in testing, verification, and runtime enforcement, and for integrating cybersecurity into computer science curricula; extensive collaboration and leadership in international research and academic communities.
Focused research areas include Engineering correct and secure software and systems, including formal verification, adversarial testing, and runtime enforcement for cyber-physical systems; development of logics for graph programs; automated feedback and AI-driven tools for novice programmers; integrating security into programming education.
Areas of Expertise
Software engineeringSoftware testingFormal methodsCybersecurityGraph transformation
Past Awarded Grant
- Empowering Novice Programmers with an Interactive AI Chatbot and Gamified Hinting System, Tertiary Education Research Fund (TRF), Ministry of Education (MOE), Co-PI (Project Level): Chris POSKITT, 2024, S$146,025
- Slide++: Automatic Augmentation of Academic Slides Towards AI-Enabled Student-Centred Learning, Tertiary Education Research Fund (TRF), Ministry of Education (MOE), PI (Project Level): Hady W. LAUW, 2022, S$262,196
- Towards Practical Attestation Solutions for Countering Advanced Attacks to Industrial Control Systems, NSoE DeST-SCI Grant Call, National Satellite of Excellence - Design Science and Technology for Secure Critical Infrastructure, Co-PI (Project Level): SUN Jun, 2019, S$939,180
- A two-track approach to CPS Reconnaisance: causal-graphs and axiomatic design, NSoE DeST-SCI Grant Call, National Satellite of Excellence - Design Science and Technology for Secure Critical Infrastructure, Co-PI (Project Level): Chris POSKITT, 2019, S$447,172
- CREDO: Comprehend, Refactor, and Decide with Orchestrated Agents - A Framework for Legacy System Evolution, SMU-SUTD Partnership Call, Ministry of Education (MOE) Tier 1 PI (Project Level): Christoph TREUDE, Ezekiel Soremekun, Co-PI (Project Level): Chris POSKITT, 2025, SGD125,000
Latest Publications
Showing up to 6 latest publications from the past 5 years.
- C Treude, CM Poskitt, R HodaICSE-FoSE'26 ▪ IEEE/ACM International Conference on Software Engineering …, 2026
- H Wang, CM Poskitt, J SunICSE'26 ▪ IEEE/ACM International Conference on Software Engineering, 2026
- O Kurniawan, E Chandra, CM Poskitt, Y Noller, KTW Choo, C JegourelKoli Calling 2025 ▪ Koli Calling International Conference on Computing …, 2025
- Bayesian and multi-objective decision support for real-time cyber-physical incident mitigation [2025]S Huang, CM Poskitt, LK ShararXiv preprint arXiv:2509.00770, 2025
- Pro2Guard: Proactive Runtime Enforcement of LLM Agent Safety via Probabilistic Model Checking [2025]H Wang, CM Poskitt, J Sun, J WeiarXiv preprint arXiv:2508.00500, 2025
- FixDrive: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation [2025]Y Sun, CM Poskitt, K Wang, J SunICSE'25 ▪ IEEE/ACM International Conference on Software Engineering, 1921–1933, 2025
Qualification
- PhD, University of York, 2014
Teaching Topics
- Enterprise Solution Development
- IT Solution Lifecycle Management
- Software Project Management