Biography

I began my career as a software engineer working at Amazon.com. I returned to academia in order to study ways to improve the correctness of computer programs, which has undoubtedly become important in an age where mission-critical software is pervasive. I am currently finishing a PhD in Computer Science, and will soon begin a Research Scientist position at the Courant Institute of Mathematical Sciences (NYU). The Gates scholarship has provided me with aunique opportunity to study theoretical computer science in Cambridge, among many leaders in the field. My thesis is on techniques for automatically analyzing computer programs, using mathematics to prove their correctness.