Computer Scientist

Interests

  • Nominal syntax
  • Type systems
  • Equational theories: term rewriting systems
  • Automated reasoning: software verification and theorem proving
  • Health informatics: data provenance and query languages

Projects