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 I will speak at Cornell’s Logic Seminar and describe recent developments from my work on effective algebra, bounds, and proof mining. My most recent paper, “Explicit polynomial bounds on prime ideals in polynomial rings over fields”, is under review and a preprint can be found at https://arxiv.org/abs/1808.04805.
I also want to thank the organizers of the NERDS (New England Recursion and Definability Seminar) for inviting me to speak at Nerds 16.0, to be held at Bridgewater State University in November. It’s a great name and looks like a fun meeting!
Also, I am on the job market for next year and would love to discuss possibilities around formal methods, logic, algebra, and university math/CS education.