About me
Welcome to my homepage! I am currently working for a random internet company.
Most recently I worked as a postdoctoral fellow with Yannis Smaragdakis at the University of Massachusetts, Amherst, on parallelisable query languages for Java. Prior to that, I completed my PhD on program metamorphosis, a novel technique for interactive multi-step program transformation with strong behaviour preservation guarantees (described in more detail here), supervised by Amer Diwan. 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
This page is Copyright © 2004-2011 Christoph Reichenbach. Re-use in whole or in parts is allowed without restriction.