Chris Poskitt

I am a Research Fellow in the System Analysis and Verification Group at SUTD, Singapore.

The overarching goal of my research is the advancement of theories, tools, and techniques for ensuring software and system correctness, with a particular focus on concurrent object-oriented programs, evolving graph structures, and cyber-physical systems.

I have lectured on several courses at ETH Zürich and the University of York, and supervised students working on various topics in verification and concurrency.

Contact

Dr. Christopher Poskitt
Singapore University of Technology and Design
8 Somapah Road
Singapore 487372

Office: 1.311-S32
(building 1, floor 3, room 11, desk 32)

  chris_poskitt@sutd.edu.sg
  @ChrisPoskitt
  +65 6303 6600
  My Calendar