Alexandra Graß
I’m a PhD student in Theoretical Computer Science and Theorem Proving at LMU
Munich under the supervision of Jasmin Blanchette.
You can send me email at <my first name>.<my last name>@ifi.lmu.de,
where the letter ß is replaced by ss.
My office is room D 012, Oettingenstraße 67.