Welcome! I am a fifth year grad student in the Computer Sciences department at UW-Madison advised by Aditya Akella. Research-wise, I am primarily interested in formal methods for network verification and speeding up big data analytics.
Before coming to Madison, I spent a year and half as a Research Assistant in the Machine Learning and Optimization group at Microsoft Research India working on cool problems in query-cardinality estimation, large-scale learning and online advertising.
Publications
Technical Reports