Mark Lemay

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