Principal Investigators
Prof. Dr. rer. nat. Lars Grunske
Humboldt-Universität zu Berlin
Institut für Informatik
grunske(at)informatik.hu-berlin.de
Lars
Grunske is currently a Professor at the Humboldt University,
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.
Prof. Dr. Matthias Tichy
Universität Ulm
Institut für Softwaretechnik und Programmiersprachen
matthis.tichy(at)uni-ulm.de
Matthias
Tichy is a Professor at Ulm University.
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
Humboldt-Universität zu Berlin
Institut für Informatik
getir(at)informatik.hu-berlin.de
Sinem Getir is a PhD student in the Humboldt University,
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.koegel(at)uni-ulm.de
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.