John is a PL/HCI PhD student at UC San Diego. His research is on program synthesis, with a particular focus on synthesis of interactive web programs. In addition, he’s also interested in interactive synthesis, diagrams, constraint systems, program semantics, garbage collection, functional languages and their implementations, and static analysis/abstract interpretation.