Registered user since Sat 27 Feb 2016
I am Professor of Computer Science at TU Darmstadt, Germany. I received a PhD from University of Karlsruhe (now KIT) and a Habilitation from TU Vienna. From 2000 to 2011 I worked as an Associate, then Full Professor at Chalmers University of Technology.
|GPCE 2021||Delta-based Verification of Software Product Families|
|Show activities from other conferences|