Registered user since Tue 18 Aug 2015
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.
|GPCE 2015||Contract-Based General-Purpose GPU Programming|
|Show activities from other conferences|
View general profile