Joe Thomas

Works

Here is a selection of public projects I've worked on over the years.

Open Source

  • tidy_email : An OCaml library that makes it easy to send email with Mailgun, Sendgrid, and SMTP.

Papers

Talks

  • Why Python? (November 2012) : Thoughts on Python as a tool for mathematical research.

  • Source Unfolding (April 2012) : My comprehensive-exam slides on source unfolding.

  • Compilers and Automata (November 2011) : This talk gave an overview of how compilers work (to an audience of mathematicians).

Projects

  • Geometry in Context (Fall 2014-Spring 2015) : I developed a series of animated videos to teach concepts in Euclidean geometry.

  • A Camera-Based Virtual Keyboard System (Fall 2013) : I built a system that uses a camera (and image analysis techniques) to turn video input of a user's hands into keyboard input. This project used Python and OpenCV.

  • A Mathematics Geneaology Project Visualizer (Fall 2012) : I used Python, requests, and dot to make a command line tool that makes "family trees" based on data in the Mathematics Genealogy project.