Welcome to the Software Technology Group and Reactive Programming

Our research is dedicated to developing new technologies that help to construct high-quality software in a productive way.

Part of our research is in programming language design and implementation. One key theme underlying our current work is the development of event-based, reactive systems. The goal is to support developers in clearly expressing the design structure of the systems they build and to enable software construction as an assembly of modular (reusable) services.

Another thread of our research focuses on intelligent programming environments that provide means to manage and explore the software space and which foster developer productivity.

The third pillar of our research is the application and development of static analyses for a variety of software properties. We are targeting efficient, scalable analyses targeted towards security properties as well as an application's overall design and coding styles. The goal is to identify (security) bugs and to better support software comprehension and reengineering.