Petar Vukmirovic

Petar Vukmirovic

PhD Student

VU Theoretical Computer Science

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