Chris Poskitt

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

Show activities from other conferences

SPLASH 2015-profile
View general profile