Ph.D. candidate in applied mathematics at Stony Brook University. Thinks about control, variational analysis, and functional programming.