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.