Personal profile


My research is on helping software developers work with software by exploring high-level techniques that address concrete technical challenges.  My current focus is on program analysis, especially but not exclusively static analysis, and its applications to bug detection, security, performance (e.g., automatic datastructure selection), and safety and reliability of autonomous systems, in collaboration with the Robotics group.  My other research interests include domain-specific languages, programming language design and implementation, refactoring, and performance analysis.


My educational activities focus on teaching techniques for the automatic analysis of software properties.  Previously I have also been involved in courses on systems programming, programming languages, compilers, and discrete structures, as well as a variety of applied project courses on software development.  My courses generally involve some degree of active learning, including research tools that support active learning.

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 3 - Good Health and Well-being

UKÄ subject classification

  • Computer Science
  • Software Engineering

Free keywords

  • Software Technology
  • Program Analysis
  • Domain-Specific Languages
  • Refactoring
  • Declarative Programming
  • Programming Langauges
  • Compilers
  • Performance Analysis


Dive into the research topics where Christoph Reichenbach is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or