Principal Investigators

Prof. Dr. rer. nat. Lars Grunske

Universität Stuttgart
Institut für Softwaretechnologie

Lars Grunske is currently a Professor at the University of Stuttgart, 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 Junior Professor at the University of Kaiserslautern, Boeing Postdoctoral Research Fellow at the University of Queensland from 2004-2007 and a lecturer at the Swinburne University of Technology, Australia from 2008-2011. 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.

Ass. Prof. Dr. Matthias Tichy

Chalmers Technical University and University of Gothenburg, Sweden
Software Engineering Division

Matthias Tichy is an Assistant Professor at the Software Engineering Division at Chalmers University of Technology and Gothenburg University, Sweden. He is member of the software engineering for embedded and automotive systems research group in Gothenburg. He received his PhD degree 2009 in computer science from the University of Paderborn, Germany. Thereafter, he worked as a PostDoc in the software engineering group at the University of Paderborn from 2009 to 2011. Concurrently, he was a visiting professor and chair for ``Organic Computing'' at the University of Augsburg, Germany, from 2010 to 2011.  His main research area is model-driven software development, particularly for embedded systems. He especially focuses on self-adaptive systems, which adapt their behavior at run time particularly by reconfiguration of the architectural configuration. The adaptation is mainly concerned with quality attributes like safety, availability and reliability.

PhD student Sinem Getir

Universität Stuttgart 
Institut für Softwaretechnologie

Sinem Getir is PhD student in the University of Stuttgart, Germany. She received her M.Sc degree in Ege University/Izmir on software engineering spesifically regarding semantics of a domain spesific languge for semantic web enabled multi-agent systems. Her current researh interests are model-driven engineering, models@run-time, run-time verification. She also focuses on incremental efficient verification techniques at run-time.

PhD Student Stefan Kögel

Universität Ulm
Institut für Softwaretechnik und Programmiersprachen

Stefan Kögel is a PhD student at Ulm University, Germany. He received his M.Sc. degree at Ulm University. His current research interests are model-driven software engineering, machine learning and type systems.