My current research interests lie in the realm of Programming Languages and Logic.

Papers

Projects

Awards

Teaching Assistantships

Internships