Department of Computer Science
Swarthmore College
270 Science Center
500 College Avenue
Swarthmore, PA 19081

zachary.palmer --at--

Profile photo

I am a Visiting Assistant Professor of Computer Science at Swarthmore College. My research interests include software engineering, compile-time metaprogramming, subtype constraint theory, and related program analyses. I completed my Ph.D. in the Spring of 2015 at Johns Hopkins University, where I had the pleasure of being advised by Dr. Scott F. Smith.


I am teaching CS71: Software Engineering in the Fall 2017 semester. For more information on CS71, please see the course website.

Previous Courses


My interests are in type theory, program analysis, and their application to software engineering.

I am primarily working on DDPA, a higher-order demand-driven program analysis. This project applies intuitions from constraint type theory to program analysis, yielding an algorithm with natural work-sharing properties and expressiveness competitive with state-of-the-art analyses. My work on DDPA is a joint effort with the JHU Programming Languages laboratory.