I am a senior researcher in the Software Engineering group, working with Prof. Reiner Hähnle. I am a member of the project. CompuGene
My core research revolves around the design of languages for programing, specification and modelling that ultimately aim at making the software developing process more efficient and the resulting programs safe and trustworthy.
Applications of this research include development of advanced software engineering tools such as compilers and program analysers. These are used as part of the software development life cycle, but also in other engineering disciplines where simulation and analysis of complex behaviour is of paramount importance, such as railway operations and synthetic biology. My current work focuses on modelling in the synthetic biology domain. More generally, I have a broad interest in software design and formal modelling.
I am further invested in building international cooperations in education, e.g. through research and teaching exchanges and the development of joint degree programs. I am the principal developer of the Double Master Degree Programme between TU Darmstadt and Universitas Indonesia.
I obtained my PhD in Computer Science in 2013 in the DistriNet Research Group at KU Leuven, Belgium, supervised by Dave Clarke. My PhD research focused on novel language features for supporting software variability, (dynamic) software product lines, feature models and dynamic software updating. Previously I obtained an MSc from Victoria University of Wellington, New Zealand where I was supervised by James Noble and Alex Potanin. I also hold a BSc (Hons) from Hochschule München, Germany and I have worked as a software engineer in industry for several years.