I am a Computer Science PhD candidate working on Program Synthesis and Computer Music at Yale, where I am advised by Ruzica Piskac. I develop program synthesis and analysis techniques to provide programmers new ways to interface with code.
I am excited to be joining Barnard College in Fall 2020 as a tenure-track Assistant Professor.
An introduction to the lambda calculus here
Practice with evaluating expressions here
Practice with higher-order functions here
A simple card game for practice with map/filter/(maybe fold too?)here