I'm a software engineer at Google in New York. I'm part of the Speech team, focusing on infrastructure.

I was previously on the Build team, and contributed to Bazel, an open-source version of Google's internal build tool.

My mathematical research was in model theory, mainly o-minimality and ordered structures.

- Email:

### Papers

- Interpretable groups are definable with Pantelis Eleftheriou and Kobi Peterzil (published in Journal of Mathematical Logic).
- Definable linear orders definably embed into lexicographic orders in o-minimal structures (published in Proceedings of the American Mathematical Society).
- Definably extending partial orders in totally ordered structures with Charles Steinhorn (published in Mathematical Logic Quarterly).
- Definable functions continuous on curves in o-minimal structures (published in Annals of Pure and Applied Logic).
- Uniform bounds on growth in o-minimal structures (published in Mathematical Logic Quarterly).
- Maximal small extensions of o-minimal structures (published in Mathematical Logic Quarterly).
- Utilizing mass measurements in tracer studies -- A systematic approach to efficient modeling (with Rajasekhar Ramakrishnan, published in Metabolism).
- A state space transformation can yield identifiable models for tracer kinetic studies with enrichment data (with Rajasekhar Ramakrishnan, published in Bulletin of Mathematical Biology).
- My dissertation: Types in o-minimal theories.

### Talks

*Slides for other talks not listed here are available in the talks directory*- Slides for a talk I gave at the Model Theory Seminar at UC Berkeley on 22 April 2015 on linear and partial orders in o-minimal structures.
- Slides for a talk I gave at the Logic Seminar at Humboldt University, Berlin, on 3 November 2011 on interpretable groups in o-minimal structures.
- Slides for a talk I gave at the Logic Seminar of CMAF/Instituto Tecnico on 1 July 2010 on embedding definable linear orders in lexicographic orders in o-minimal structures.
- Slides for a shorter talk on the same definable linear orders problem I gave at the 2010 Paris Logic Colloquium on 27 July 2010.
- Slides for a talk I gave at the University of Barcelona on 15 April 2009, on a problem solved in my dissertation (extending a continuous definable function to the boundary of a definable set containing an undefinable curve). There is also an earlier, more detailed version I gave in Lyon.
- Slides for a talk I gave on decreasing types at the Stability theoretic methods in unstable theories workshop 8-13 February 2009, Banff International Research Station.
- Slides for a shorter talk on the continuous extension problem that I gave at the AMS Special Session 11-12 October, 2008, Wesleyan University.

### Other

- Some writeups of problems/explanations in papers/books
- Constraint equation-construction for compartmental models
- I wrote an article about Pascal's Triangle and combinatorics for an Indian children's magazine called "Jantar Mantar" in 2002. The magazine's website is down, but here are part one and part two. Unfortunately, I do not have access to the images in part two. Due to the intended audience, spelling and choice of examples may seem strange to American readers.

- Berkeley Student Cooperative
- Online workshift accounting system for co-ops
- Firefox plug-in so users can easily type accented characters in their browsers.
- My Twitter, Facebook, and LinkedIn accounts.
- 1b.