Hi! I'm Joseph Cutler, but feel free to call me Joe. Right now, I'm a student at Wesleyan, where I'm advised by Dan Licata. Along with Norman Danner, we're working on a project which seeks to formalize cost analysis by recurrence extraction.
I’m interested in all aspects of programming languages, but I’m particularly interested in resource analysis, computational aspects of modal and substructural type systems, and anything foundational.
Before college, I was an avid web developer, and I spent about six total months as a web development intern at Flatiron School, writing Ruby, JS, and Elixir.