
Registered user since Tue 18 Aug 2015
Name: Chris Poskitt
Bio: I am a postdoctoral researcher in the Chair of Software Engineering at ETH Zürich. 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.
Country: United Kingdom
Affiliation: ETH Zurich, Switzerland
Personal website: http://chrisposkitt.com
Research interests: computer science, graph transformation, software verification, object-oriented programming, concurrency
Contributions
GPCE 2015 | Contract-Based General-Purpose GPU Programming | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2015-profile
View general profile
View general profile