Jeremy Avigad Professor Department Philosophy Mathematical Sciences Research Interests Programming Languages Advisees Joshua Clune Cayden Codel Chase Norman