For my thesis, I explored the intersection of programming languages, artificial intelligence, and cognitive science, with the goal of developing more human-like AI systems. Specifically, I investigated the hypothesis that program synthesis may be a route to achieving this goal. In a past life, I received my BS degrees in computer science and math from MIT. Broadly, I am interested in the following areas: program synthesis, neuro-symbolic techniques, probabilistic programs, formal methods, and computational cognitive science.