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 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.

Published by wsimmons

Researcher specializing in applications of logic and algebra to computer science.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: