Christopher M. Poskitt

ORCID iD
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
chris_poskitt@sutd.edu.sg

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

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

Sources:
ResearcherID (2016-12-10)

Biography

I am a Postdoctoral Research Fellow at the Singapore University of Technology and Design. The overarching goal of my research is the advancement of theory, tools, and techniques for ensuring software correctness, with a special focus on evolving graph structures and concurrent object-oriented programs.
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}}
     ()
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
    Created:
No education added yet
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}}
     ()
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
    Created:
No employment added yet
No publications added yet