Looking forward to Fall 2019

It’s been a productive summer and I’m excited to meet my new students as the Fall 2019 semester is about to begin here at HWS. My work on formalized mathematics is going well and I am looking forward to participating in Formal Methods in Mathematics/Lean Together 2020 (http://www.andrew.cmu.edu/user/avigad/meetings/fomm2020/) in a few months. In December IContinue reading “Looking forward to Fall 2019”

Getting started at Hobart and William Smith

This fall I am starting as a Visiting Assistant Professor in the Department of Mathematics and Computer Science at Hobart and William Smith Colleges in Geneva, NY. The department has been extremely supportive and I enjoy having access to my colleagues’ expertise in commutative algebra, algebraic geometry, functional programming, etc. My students are a funContinue reading “Getting started at Hobart and William Smith”