Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
Lars Grunske

Registered user since Thu 5 May 2016

Name:Lars Grunske
Bio:

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.

Country:Germany
Affiliation:Humboldt University of Berlin
Research interests:Software Engineering, Automated Software Engineering

Contributions

Show activities from other conferences

ICSE 2021-profile
View general profile