Registered user since Thu 5 May 2016
Lars Grunske is currently Professor at the Department of Computer Science from the Humboldt-Universität zu Berlin, Germany. He received his PhD degree in computer science from the University of Potsdam (Hasso-Plattner-Institute for Software Systems Engineering) in 2004. He was Boeing Postdoctoral Research Fellow at the University of Queensland from 2004-2007, a lecturer at the Swinburne University of Technology, Australia from 2008-2011, Junior Professor at the University of Kaiserslautern from 2011-2012, and Professor at the University of Stuttgart from 2012-2015. He has active research interests in the areas modelling and verification of systems and software. His main focus is on automated analysis, mainly probabilistic and timed model checking and model-based dependability evaluation of complex software intensive systems.
|PLDI 2021||Concolic Program Repair|
|Show activities from other conferences|
View general profile