Lambda the Ultimate

I am a third year graduate student in the University of Wisconsin, Madison. My adviser is Prof. Thomas Reps. Before joining UW-Madison, I got my Bachelors in Computer Science from BITS, Pilani, India.

Abstract Interpretation, Static Analysis, Type Theory