Dr. Martin Desharnais
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 <my first name>.<my last name>@ifi.lmu.de.
My office is room U160, Oettingenstraße 67, 80538 München.
Artikelaktionen