In addition, I am a software consultant and one half of R2 Software & Systeme UG (haftungsbeschränkt).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
StudentsNew positions available: We are looking for candidates for two open PhD positions, one on a domain-specific programming language for programming robots, and one on static program analysis. Please contact me or any of the co-PIs if you have any questions!
Current PhD students
- Noric Couderc
- Alexandru Dura
- Momina Rizwan (starting 2020)
- Idriss Riouak (as secondary supervisor)
Past PhD students
- Krishna Narasimhan, received his PhD from Goethe University in 2017. Now at Itemis.
Previously I served as junior professor for Software Engineering and Programming Languages at Goethe University Frankfurt. 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 is 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 Amer Diwan (now at Google).
This page is Copyright © 2004-2019 Christoph Reichenbach. Re-use in whole or in parts is allowed without restriction.