|
Research Interests: I am interested in the
theoretical aspects of computer science. In particular, I am
interested in computational complexity, coding theory,
property testing, algebraic-combinatorial constructions. I am
currently a post doc at the University of California at Riverside
hosted by Prof. Ilya
Dumer. Before that I did my PhD at the University of Texas at
Austin in August 2007 under the supervision of
Prof. David Zuckerman. |
Ph.D. Thesis: Error-correcting Codes : Local Testing, List Decoding, and Applications PS PDF
Long back I worked on formal verification of temporal properties. Below is the outcome.
| Contact : | |