I am originally from Cape Cod, Massachusetts. Specifically, the town of Sandwich, which really does exist. I went to University of Massachusetts Amherst for my undergraduate. After that I went to UConn to get my Ph.D. in logic and the foundations of mathematics. For information on that look at the Research page. I graduated in March of 2017 and took a job as an Inference Programmer at Cycorp. There I worked on implementing type constraints for the declarative language CycL. I am currently in Field Operations at Cambridge Semantics, where I help to implement solutions to the problems that arise with the integration of enterprise data.