Haitian Wang

Haitian Wang

PhD Student

UvA ILLC

Interests
  • Category Theory
  • Type Theory
  • Theorem Proving
  • Functional Programming
  • Model Checking