Chris Poskitt

Registered user since Tue 18 Aug 2015

Name:Chris Poskitt
Bio:

Chris Poskitt is an Assistant Professor of Computer Science (Education) at Singapore Management University (SMU). His research pursues the advancement of theories, tools, and methodologies for engineering correct and secure software/systems. His interests include software engineering, formal methods, cybersecurity, and computer science education.

Country:Singapore
Affiliation:Singapore Management University
Research interests:software engineering, formal methods, cybersecurity, graph transformation

Contributions

ESEC/FSE 2023 Committee Member in Program Committee within the Research Papers-track
STAF 2023 Web Chair in Organizing Committee
ICGT 2023 PC Chair in Program Committee within the Research Papers-track
Session Chair of ICGT Session 7: Keynote & Journal-First (part of Research Papers)
PC Chair in Journal-First Committee within the Journal-First-track
Author of ICGT Conference Closing within the Research Papers-track
Author of ICGT Conference Opening within the Research Papers-track
ICSE 2023 Committee Member in Onsite Judges within the SRC - ACM Student Research Competition-track
Author of Finding Causally Different Tests for an Industrial Control System within the Technical Track-track
ESEC/FSE 2022 Author of Code Integrity Attestation for PLCs using Black Box Neural Network Predictions within the ESEC/FSE 2021-track
ASE 2022 Author of LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles within the Research Papers-track
ESEC/FSE 2021 Author of Code Integrity Attestation for PLCs using Black Box Neural Network Predictions within the Research Papers-track
ISSTA 2020 Author of Active Fuzzing for Testing and Securing Cyber-Physical Systems within the Technical Papers-track
AST 2020 Program Committee in Program Committee within the AST 2020-track
ASE 2019 Author of Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences within the Research Papers-track
GPCE 2015 Author of Contract-Based General-Purpose GPU Programming within the GPCE-track