Mark Lemay

lemay@bu.eduRésumépresentationsGitHubMath for People
I am currently a PhD candidate in Boston University's Computer Science department
My research interests are in type theory, automated theorem proving and formal methods.

Publications