My current research interest is in the area of Graph Algorithms. The objective is to design efficient (mathematically proven) and practical algorithms for graph-theoretic problems. These algorithms are useful to application programmers and experimental researchers. My current focus is on graph connectivity and certifying algorithms.