I am a graduate student at Northeastern University working with Amal Ahmed. More specifically, my focus is on proving compilers fully abstract. I am a member of SILC.

Programming (especially functional programming) is fun and can be very useful, but the underlying logic and structure of programs is what I find most interesting.