I'm a software engineer at Google in New York. I'm on the Build team, where my work focuses on graph processing and concurrency issues.

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

- Email:

- LinkedIn profile
- Curriculum Vitae
- Research Statement (out of date)

### Papers

- Interpretable groups are definable with Pantelis Eleftheriou and Kobi Peterzil, (to appear in Journal of Mathematical Logic).
- Definable linear orders definably embed into lexicographic orders in o-minimal structures (to appear in Proceedings of the American Mathematical Society).
- Functions continuous on curves in o-minimal structures (to appear 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 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 Workshop at CUNY on 1 April 2011 on linear and partial orders 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 and Facebook accounts.
- 1b.