Haitian Wang Interests: Category Theory, Type Theory, Theorem Proving, Functional Programming, Model Checking ← back to all researchers