I'm an undergraduate mathematics and computer science major at Carnegie Mellon University. I'm currently in Russia participating in the Math in Moscow program at the Independent University of Mathematics.
My email is adsmith [at] andrew [dot] cmu [dot] edu.
My CV can be found here.
While in Moscow, I'm keeping sporadic lecture notes here for my classes. I make no promises about keeping these up-to-date, but the general goal is to post them shortly after each lecture. This way I can make sure there are no details I missed, and my notes might be a more useful second viewpoint to anyone who didn't catch something during lecture.
Since more people have started read these, you should be warned that while I'm trying to cover all of the material from lecture, I don't always cover it how it was presented in lecture. Instead, writing these gives me a chance to work out how I think this material would be most clearly presented -- sometimes this means I spend a lot of time restructuring sections or coming up with cleaner proofs.
Random notes: I'm also going to be keeping some notes here of random things I felt like writing and pretending someone will read. These are likely to vary between expositions and me just trying to think things through.
I've also been working on typing up solutions to Ravi Vakil's book Foundations of Algebraic Geometry. It's a very exercise-punctuated exposition style, and I'm challenging myself to understand the whole text by working through all of the exercise. At press time I'm in chapter 17 of 30, but it's getting longer every day!
In the summer of 2014, I participated in the SUMaR math REU at Kansas State University. My advisor was Alex Gonzalez. My project focused on generalizing a notion of Euler characteristic for finite categories to certain infinite categories arising from the homotopy properties of compact Lie groups. We also provided a geometric reinterpretation of these objects as certain sheaves over a Grothendieck site.
Our writeup can be found here.
In the summer of 2013 I did an REU at Clemson University. There my advisor was Mohammed Tesemma. My project studied rings of invariants in the Laurent polynomials of subgroups of the general linear group. We placed a natural topological structure on their space of different initial algebras under all possible monomial orders, and clasified all resulting topologies.
In the spring of 2014 I was a TA for 15-453 Formal Languages, Automata, and Computability. The course website can be found here.