Alexandra Graß

I'm a PhD student in Theoretical Computer Science and Theorem Proving at LMU Munich under the supervision of Jasmin Blanchette. I am also a member of Helmut Seidl's group for Formal Languages, Compiler Construction, Software Construction at Technical University of Munich, and the DFG Research Training Group ConVeY.

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.

Theses

  • Towards the Verification of Top-Down Solvers. Alexandra Graß. June 2024. Master's Thesis. Author's PDF
To top