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”
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”
Welcome to my homepage! I hope the holidays have treated you well and wish you a great mathematical year! Please click on the Research, Teaching, and About Me tabs to learn more.