Thomas Koehler

I am a postdoctoral researcher in the CAMUS team of INRIA, in Strasbourg, France. I work on OptiTrust, an interactive framework for source-to-source code transformations. The project is led by Arthur Charguéraud.

I received my PhD from the School of Computing Science at the University of Glasgow, in Scotland, supervised by Michel Steuwer and Phil Trinder. I worked on the high-level functional language Rise and its Shine compiler that applies optimizations using rewrite rules before generating imperative code. My thesis shows the potential of Shine to achieve domain-extensibility, controllable automation, and generate high performance code. Domain-extensibility facilitates adapting compilers to new algorithms and hardware. Controllable automation enables performance engineers to gradually take control of the optimization process.

I received my Master from Sorbonne Université in Paris, France.

You can read my Curriculum Vitae to learn more.