At home with my sisters in York

I am currently a graduate student at Carnegie Mellon University in Pittsburgh, pursuing a PhD in mathematics under the direction of Steve Awodey. More specifically, my main research is in categorical logic, a beautiful viewpoint unifying syntax and semantics, logic and algebra, and much more, which I will resist the urge to extol here at length. I am currently TA'ing 21-127 Concepts of Mathematics. Besides that, I currently play in the Edgewood Symphony Orchestra and CMU's All University Orchestra, and do other unremarkable things in my spare time.