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