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 on the job market this year.
An introduction to the lambda calculus here
Practice with evaluating expressions here
Practice with higher-order function here