I am PhD student on the ERC Grant Matryoskha, under supervision of Jasmin Blanchette. My research focuses on theory and tools for higher-order unification and theorem proving.
Interests
- theorem proving
- higher-order unification
- term rewriting
I am PhD student on the ERC Grant Matryoskha, under supervision of Jasmin Blanchette. My research focuses on theory and tools for higher-order unification and theorem proving.