Hi! I'm Joseph Cutler, but feel free to call me Joe. Right now, I'm a PhD student at UPenn in the Computer Science department.

I’m interested in all aspects of programming languages, but I’m particularly interested in defining, testing, automatically verifying, and interactively proving quantitative or intensional properties of programs.

During my undergraduate studies at Wesleyan University (go Wes!), I did research with Dan Licata and Norman Danner. Together, we worked on formalizing the process of amortized analysis by way of recurrence extraction.

I've also done multiple external research internships in PL. During 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. I spent summer 2021 working under Mike Hicks at Correct Computation, Inc. while building Affix: a tool which generates source code models from binaries, and helps avoid false alarms when using static analysis tools.

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 jwc@seas.upenn.edu, or take a look at my CV or Twitter.