Dr. Martin Desharnais

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

You can send me email at <my first name>.<my last name>@ifi.lmu.de.

My office is room U160, Oettingenstraße 67.