conf.researchr.org / Alexandra Graß
Registered user since Thu 8 Oct 2026
Name:Alexandra Graß
Country:Germany
Affiliation:Ludwig-Maximilians-Universität München | Technische Universität München
Personal website: https://www.tcs.ifi.lmu.de/staff/alexandra-grass
Research interests:interactive theorem proving, e-graphs, abstract interpretation
Contributions