I am a graduate student in the Department of Computer Science at Texas A&M University since Fall 2006. My advisor is Dr. Jennifer Welch. My research interestes are Distributed Algorithms and Network Coding. I completed B.Tech in Electrical Engineering from Indian Institute of Technology(IIT) Roorkee, India in May 2006.
Network Coding
Developing resilient network coding algorithms for byzantine attacks. Network coding is an interesting and simple idea of combining packets in a network to reduce the communication costs.
Link Reversal Algorithms
Proving the correctness of Link Reversal Algorithms which reverse edge directions in a directed acyclic graph(DAG) to create a destination oriented DAG.
Distributed Storage
Designing byzantine tolerant multi-writer shared registers based on quorums.
Completed Course Projects:
Designed a distributed sleep scheduling algorithm for sensor networks which ensures good spatial coverage and availability of node data.
Developed a parallel implementation of Non-negative Matrix Factorization(NMF) for document clustering using C++ and OPENMP. The report is available here.
I did a survey of the Temporal Logic of Actions(TLA)-a language for specifying and proving the correctness of concurrent algorithms developed by Leslie Lamport. The report describes the TLA specification of the Dijkstra's mutual exclusion algorithm as an example.
