Dual specialty in infrastructure & feature development: building the tools that let me and others do our jobs even better.Currently working on XLS, bringing modern compiler design to hardware engineers - without taking away control. (https://github.com/google/xls)Worked on Google Drive for desktop (client-side software for macOS and Windows) for almost 5 years.

50% research in reverse mathematics, analyzing which assumptions are required to prove a given theorem; 50% teaching and educational work.Designed & taught assorted undergraduate and graduate courses, receiving consistently strong student evaluations for accessibility, clarity, and general recommendation, as well as a University commendation for merit in teaching;Developed new line of inquiry in international collaboration, involving bounds on the strength of large families of assumptions — first application discovered limits on the power of computation with access to random numbers;Refined analysis of strengths of closely-related systems, applying tools from another field with new methods;Presented at major conferences, both national (e.g., North American Annual Meeting of the ASL) & international (e.g., Symposia on the Foundations of Mathematics [interdisciplinary]); published in leading journals (including Annals of Pure and Applied Logic and the Journal of Symbolic Logic).As service to the field, became maintainer of the RM Zoo - an open-source expert system for reverse mathematics, providing an authoritative bibliography for this active field along with a system that can extract results only implicit in the literature. Re-designed this for improved maintainability, portability, and performance, adding a faster inference engine (8x speed) while expanding & cleaning the underlying bibliography for the field (4x previous size, verified and detailed references).Pedagogically, worked on improving my ability with more modern approaches (particularly specifications grading) while maintaining balance between teaching and research, and began investigating the flipped/hybrid classroom.

Advised by Denis R. Hirschfeldt and Robert I. Soare; also a lecturer at the University.75% research and training in mathematical logic (specifically computability theory); 25% teaching.Designed & taught assorted undergraduate courses, receiving consistently strong student evaluations for accessibility, clarity, and general recommendation.Strengthened & refined analyses of asymptotic computation, an approach for understanding algorithms that work in "most" cases with potential applications to complexity analysis, finding ways to make these notions both stronger and more practically applicable. Recovered desired & standard results not present in prior work, permitting the generalization of classic results;Presented in invited talks at major international conferences, including the Workshop on Computability Theory in Bucharest and the Annual Meeting of the Canadian Mathematical Society; published in leading journals (including the Journal of Symbolic Logic);Pedagogically, worked to improve my ability as a lecturer and out-of-class advisor.

Advised by Robert I. Soare and Denis R. Hirschfeldt. Also a College Fellow, a hybrid position as both a Teaching Assistant and an apprentice instructor, responsible for giving one to three class lectures per quarter.

Open-source data-management system, enforcing complex rules in an intuitive interface designed for mass appeal.Organized the revival of this previously-abandoned project;Optimized & simplified codebase (in Java), with focus on readability and extensibility;Coordinated design & implementation of a new reporting interface.

Research on combustion instabilities and associated inverse problems, particularly in determining heat release patterns from acoustic pressures.

Studied numerical optimization algorithms, esp. simplex variants, for support vector machine (SVM) training. Integrated a conjugate residual solver into Rusin’s revised simplex method for quadratic programming, producing a hybrid algorithm with promising applications to SVM training.

Assistant to Prof. Amy Graves (previously Bug), in computational physics.Designed & implemented (in Java) a user-friendly, extensible lifetime calculator for positrons in physical cavities, with a general framework for numerical solvers of the Schrodinger equation to better support extensibility.

Primary developer for the One Encyclopedia Per Child project (taking a subset of Wikipedia to be included on the "$100 laptop" as a basic reference).Designed and implemented, in Python & Cython, various automated ranking systems, finishing with a self-organizing cluster implementation of a graph-theoretic network centrality algorithm, running against a large MediaWiki database (i.e., Wikipedia);Collaboratively designed CrossMark, a document markup standard intended for use on the OLPC XO laptop, and began implementation of the reference CrossMark parser for the device, using ANTLR 3.0.Sponsored by Google as a Summer of Code intern.

Identified & patched bugs in the open-source PostgreSQL database (written in C), using a COTS static code analysis tool (patches produced in this role are publicly available, with links on request);Assembled product demonstration disk for conference, addressing numerous problems under tight deadline.

Directed small team of interns in developing an online authenticated invoicing system based on JSP and Java Servlets, integrating Active Directory and Unanet.