Christoph Reichenbach

Papers

Total Citations

H-Index

About

Christoph Reichenbach is a leading researcher in programming languages, software engineering, and embedded robotics, with a particular focus on domain-specific languages (DSLs) and static analysis. His major contributions center on improving software reliability and developer productivity, especially in resource-constrained and safety-critical environments. Reichenbach’s work on EzSkiROS, a DSL for embedded robotics, demonstrates how domain-specific abstractions can catch bugs early in the development cycle, reducing costly runtime failures in autonomous systems. This case study, published in 2023, has already garnered 4 citations, reflecting its timely impact on the robotics software community. Beyond this, Reichenbach has made foundational contributions to program analysis, including work on type systems, memory management, and debugging tools. His research bridges the gap between formal methods and practical engineering, enabling developers to build more robust software with less effort. With a career spanning top-tier venues and collaborations across academia and industry, Reichenbach continues to shape how we design, verify, and deploy software for complex, real-world systems.