Hanna Lachnitt
Publications
Hanna Lachnitt
PhD student working on Automated Reasoning
Follow
Stanford University, USA
Github
Google Scholar
ORCID
Teaching