I am a researcher for software technology, compilers, and programming langauges, as well as a software consultant..My current research interests include:
- High-level languages (specifically declarative languages) and their interaction with low-level systems
- Interactive program transformation tools
- Program analysis tools and compilers
- Automation in software engineering
- New approaches to program synthesis and re-engineering
Software ConsultingI am interested in bringing software technology to practitioners and in applying it to real-life challenges. Feel free to contact me if you have a challenging software problem and could use a hand!
I am currently serving as professor for Software Engineering and Programming Languages at Goethe University Frankfurt, in a temporary position. Previously I worked in the software industry at Google, and in research, both at the University of Massachusetts, Amherst, on parallelisable query languages for Java, as a postdoctoral fellow with Yannis Smaragdakis.
I completed my PhD on program metamorphosis at the University of Colorado at Boulder in 2010. Program metamorphosis a novel technique for interactive multi-step program transformation with strong behaviour preservation guarantees and described in more detail here. This work was supervised by my advisor, Amer Diwan.
This page is Copyright © 2004-2015 Christoph Reichenbach. Re-use in whole or in parts is allowed without restriction.