Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Institut für Informatik

Prof. Dr. rer. nat. Lars Grunske

Head of the Software Engineering group

Lars_Grunske_01klein.jpg
Contact:

grunske[at]informatik.hu-berlin.de

+49 30 2093-41142 (phone)
+49 30 2093 5484 (fax)

Mail Address:

Humboldt-Universität zu Berlin

Department of Computer Science

Unter den Linden 6

10099 Berlin

Visitor Address:

Johann-von-Neumann-Haus

House 4, 4rd floor, room IV.416

Rudower Chaussee 25

12489 Berlin

 
Office Hours:
 

Research Interests

  • Software and Systems Engineering (including Engineering of Complex Systems; Component Based Systems; Software Architecture; System modelling; Formal Methods and Specification)
  • Safety Critical Systems (including Hazard and Risk Analysis; Safety Requirements, Architecture and High Level Design Evaluation for Safety Properties)
  • Software Transformation and Software Evolution (including Transformations with (Hyper)-Graph Grammars and Triple Graph Grammars; Architecture and Code Refactoring, Model Driven Architecture and Quality Aspects within MDA)

I am working in these areas through collaborations with Antony Tang, Jun Han, Markus Lumpe (Swinburne University of Technology) Yiannis Papadopoulos (University of Hull) Peter Lindsay, Kirsten Winter, Robert Colvin, (University of Queensland), Ivica Crnkovic (Maelardalen University).


 

Short Biography

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.


 

Publications

  • Current publication list at dblp

 

Professional Activities

Activities at the University Level
  • Member of the Examination Board (Mitglied der Kommision Lehre und Studium) for the Bachelor and Master of Computer Science (Informatik) , Humboldt University Berlin , 2015-ongoing
  • Head of the Examination Board for the Bachelor and Master of Software Engineering (Prüfungsausschussvorsitzender), University of Stuttgart, 2013-2015
  • Member of the Examination Board (Mitglied des Prüfungsausschuss) for the Bachelor and Master Informatik (, University of Stuttgart, 2013-2015
  • Member of the Examination Board for the International Master of Computer Science (Mitglied des Prüfungsausschuss), University of Stuttgart, 2013-2015
  • Head of the Selection Board for incoming Master of Software Engineering (Zulassungsauschussvorsitzender), University of Stuttgart, 2013-2015
  • Member of the Board for Language Education at the University of Stuttgart, University of Stuttgart, 2013-2015
  • Chairing the Board of Young Researcher at the Research Centre for Mathematical and Computational Modelling (CM)², University of Kaiserslautern, 2011-2012
  • Academic Member of the Scientific Directory Board of the Research Centre for Complex Software Systems and Services (CS3), Swinburne University of Technology, 2009-2010
  • Leadership of the Scientific Training Program for PhD Students, Swinburne University of Technology, 2009-2011
  • Panel Member and Chair of Review Panels for PhD Student Progress Reviews, Swinburne University of Technology, 2008-2011
  • Member and Chair of Several Subject Related Commissions for Teaching Quality, Swinburne University of Technology, 2008-2011
Organisation and Chairing of Conferences
  • Program Chair, IEEE/ACM International Conference on Automated Software Engineering (ASE 2015), Nebraska, USA
  • Doctoral Symposium Chair and Workshop Chair, IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), Mäladalen, Sweden
  • Organizing Chair, Informatik 2014, GI Jahrestagung, University of Stuttgart, Stuttgart, Germany
  • Program Chair, CBSE 2010, 12th International Symposium on Component Based Software Engineering, Prague, Czech Republic
  • Program Chair, SETE 2006, International Conference on System Engineering/Test and Evaluation, Melbourne, Australia
  • Program Chair, QUOVADIS 2010, 1st International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, ICSE Workshop
  • Steering Committee and Steering Committee Chair (since 2011), ISARCS 2010-2012, International Symposium on Architecting Critical Systems 2010-2012
Program Committee Member
  • ICSE 2017-18, Program Board Member, International IEEE/ACM Conference on Software Engineering (ICSE)
  • ICSE 2015,2019 Program Committee, International IEEE/ACM Conference on Software Engineering (ICSE)
  • FSE 2019 Program Committee, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE)
  • ASE 2010-ongoing, IEEE/ACM International Conference on Automated Software Engineering (ASE)
  • QOSA 2013-2015, International ACM SIGSOFT Conference on Quality of Software Architectures, QoSA
  • SAFECOMP 2008, 2011-ongoing, International Conference on Computer Safety, Reliability and Security
  • ICCECS 2010, 15th IEEE International Conference on Engineering of Complex Computer Systems, (ICCECS)
  • CBSE 2006-2015, International ACM SIGSOFT Symposium on Component-Based Software Engineering
  • ICCBSS 2008, IEEE International Conference on Composition-Based Software Systems (ICCBSS)
  • ASWEC 2007-11, Australian Software Engineering Conference
  • ECBSE 2007-10, Euromicro Conference on Software Engineering and Advanced Applications (SEAA) Component-Based Software Engineering Track
  • WADS 2007-09, DSN Workshop on Architecting Dependable Systems, Edinburgh, Scotland - UK
  • DCDS 2007-11, 1st IFAC Workshop on Dependable Control of Discrete Systems
  • IWSSA 2006-12, International Workshop on System/Software Architecture
  • MODDM 2006, Workshop on MOdel Driven Development for Middleware (MODDM)
  • IWSSA 2006-11, International Workshop on System/Software Architecture
  • SETE 2005, International Conference on System Engineering/Test and Evaluation
  • Shepherd for VikingPLOP 2004, PLOP 2004-2005, EuroPLOP 2005
  • OOPSLA 2004 (Workshop Committee Member), the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications
Journal Reviewing

IEEE Transactions on Software Engineering, Journal of Systems and Software, Information and Software Technology, Software Practice and Experience, Automated Software Engineering Journal and others