Christopher M. Poskitt

ORCID iD
https://orcid.org/0000-0002-9376-2471
  • Also known as
  • Show details Hide details
Chris Poskitt

Sources:
Christopher M. Poskitt (2015-04-13)

  • Keywords
  • Show details Hide details
computer science,

Sources:
Christopher M. Poskitt (2015-08-18)

graph transformation,

Sources:
Christopher M. Poskitt (2015-08-18)

software verification,

Sources:
Christopher M. Poskitt (2015-08-18)

object-oriented programming,

Sources:
Christopher M. Poskitt (2015-08-18)

concurrency

Sources:
Christopher M. Poskitt (2015-08-18)

  • Websites
  • Show details Hide details
Academic Homepage

Sources:
Christopher M. Poskitt (2015-08-18)

DBLP Listing

Sources:
Christopher M. Poskitt (2015-08-18)

Google Scholar Profile

Sources:
Christopher M. Poskitt (2015-08-18)

LinkedIn Profile

Sources:
Christopher M. Poskitt (2015-08-18)

  • Email
  • Show details Hide details

Sources:
Christopher M. Poskitt (2016-03-03)

  • Other IDs
  • Show details Hide details
ResearcherID: S-1002-2016

Sources:
ResearcherID (2016-12-10)

Scopus Author ID: 36698287200

Sources:
Scopus - Elsevier (2018-02-28)

Biography

I am a Lecturer and Researcher at the Singapore University of Technology and Design. The overarching goal of my research is the advancement of theories, tools, and methodologies for ensuring system and software correctness, with a particular focus on concurrent object-oriented programs, evolving graph structures, and cyber-physical systems.

Record last modified {{lastModifiedDate}}