David Tanzer

I am a quantitative software developer living in New York City. My undergraduate degree was in math, at the University of Pennsylvania. I did a Ph.D. in computer science at NYU Courant. Before that I worked as a scientific programmer in the NYU Center for Neural Science and the psychology department. Since then I have worked for financial companies to develop systems for real-time trading and portfolio management.

The idea of a “green mathematics” is intriguing to me. I hope that the research that is being conducted in parallel with Azimuth will one day contribute to a deeper understanding of the present environmental crisis. It is my hope that the forum can eventually serve as a place for a broader discussion of these ideas.

Petri net programming, Azimuth Blog, October 2012.

Petri net programming (part 2): An introduction to Stochastic Petri Nets, Azimuth Blog, December 2012.

Petri net programming (part 3): The role of differential equations, Azimuth Blog, April 2013.

Prospects for a Green Mathematics, John Baez and David Tanzer, Mathematics of Planet Earth Blog, February 2013.

Queryable Acyclic Production Systems, David Tanzer and Dennis Shasha, Proceedings of the ACM Conference on Information and Knowledge Management (CIKM), 1999.

Queryable Expert Systems, doctoral thesis, NYU 2001, advisor Dennis Shasha.

A Survey of Constraint Relational Databases, doctoral survey paper, Courant Institute of Mathematical Sciences, November 1998.

- Forum for math exercises
- Metro Gig List

category: members