Steel City

I’m very happy to join the Logical Systems Lab at Carnegie Mellon here in Pittsburgh. Andre Platzer and his group do outstanding work on verified cyber-physical systems, from theory all the way to practice. It’s exciting to tackle problems in mathematical logic, algebra, and differential equations that have real-world implications for transportation, energy, and more!

Summer 2020: looking back and looking ahead

Spring semester 2020 was a unique experience for all of us. I’m proud of my students and their efforts, both mathematical and personal, under challenging circumstances. In January I thoroughly enjoyed the Formal Methods in Mathematics/Lean Together 2020 conference at Carnegie Mellon University. It was great to present my work and I thank the organizersContinue reading “Summer 2020: looking back and looking ahead”

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 ( in a few months. In December IContinue reading “Looking forward to Fall 2019”

Marker 60: Pure and Applied Model Theory

I attended a special conference in honor of my thesis adviser, Dave Marker, from Oct. 25-28 at UIC (link to conference page). The talks spanned a wide range of pure and applied model theory, including talks on effective bounds in algebra (Matthias Aschenbrenner), elimination theory for difference equations (Tom Scanlon), and many others. Happy 60th,Continue reading “Marker 60: Pure and Applied Model Theory”

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”

Summer 2018

Summer 2018 was a busy time filled with interesting meetings and projects. I enjoyed helping celebrate Tom Hales’ 60th birthday at a meeting dedicated to Tom’s many contributions in representation theory, discrete geometry, and formalized mathematics (conference website). Many attendees work with interactive theorem provers like Coq and Isabelle and I had good conversations regardingContinue reading “Summer 2018”

Association for Symbolic Logic (ASL) North American Annual Meeting in Boise

Spring was evident at the ASL meeting in Boise, ID last week ( The beautiful Boise River was more than full as it rushed through the Boise State University campus where the conference was held. Thanks to the organizers for the valuable meeting and special sessions. I enjoyed my opportunity to speak in the contributedContinue reading “Association for Symbolic Logic (ASL) North American Annual Meeting in Boise”

Upcoming…Ohio State University Logic Seminar March 7th

I’ll be speaking in the Ohio State University Logic Seminar on Tuesday, March 7th. Here are the details: Title: Mining effective information from nonconstructive proofs in differential algebra Abstract: Ultraproducts and other nonconstructive tools often yield existence results without giving explicit values. We examine the interplay of such arguments with “proof mining” techniques that systematicallyContinue reading “Upcoming…Ohio State University Logic Seminar March 7th”