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 look...Read More
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...Read More
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 su...Read More
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 repres...Read More
Thanks so much to Thomas Hales and the other members of the Algebra, Combinatorics, and Geometry (ACOG) Seminar at the University of Pittsburgh. I enjoyed presenting there and interacting with everyon...Read More
The AMS held a great meeting at Hunter College in NYC on May 6-7. I’m grateful to Omar León Sánchez and Alexander Levin for organizing the Special Session on Differential and Difference Algebr...Read More
Spring was evident at the ASL meeting in Boise, ID last week (http://asl2017.boisestate.edu/). The beautiful Boise River was more than full as it rushed through the Boise State University campus where...Read More
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 A...Read More
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....Read More