I am a Ph.D student at Purdue University being advised by the inimitable Suresh Jagannathan . I am broadly interested in programming languages, compilers and formal verification.
I am blessed to be husband to the amazing Monica Guntur.
I try to write (not frequently enough) about my ventures in fiddling with systems. You can read more here .