Dr. Martin Desharnais-Schäfer

I am a postdoc in Theoretical Computer Science and Theorem Proving at LMU Munich.

You can send me email in English, German, or French at desharnais-schaefer@ifi.lmu.de.

My office is room U160, Oettingenstraße 67, 80538 München.