Joseph W. Cutler
4th year student in computer science at Wesleyan University

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.

I’m interested in all aspects of programming languages, but I’m particularly interested in quantatative and substructural type systems, resource analysis, and implementation techniques for fancy type systems.

In the summer of 2020, I was a research intern (virtually) at MPI-SWS, working with Deepak Garg to implement λ-amor, a highly expressive refinement type system for amortized analysis.

From 2018 to 2020, I did research with Dan Licata and Norman Danner, where I extended prior work on formal recurrence extraction to handle amortized analysis.

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.

You can reach me at, or take a look at my CV or Twitter.


Thanks to Joomy Korkut for letting me steal his website!
Last updated: