Computer Scientist

Interests

  • Type systems
  • Nominal syntax
  • Term rewriting systems and equational theories
  • Software verification and theorem proving
  • Data provenance

Projects