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.
Example
Shopping list
* Vegetables * Fruits * FishArtikelaktionen