My research interests are focused in the area of Electronic Design Automation. Typically, I am interested in high level synthesis, formal verification methods, boolean satisfiability algorithms and decision diagrams. My general interests also include digital integrated circuit design, high-performance VLSI design, VLSI testing and theorem proving. In my thesis as a Masters student, I had implemented a hybrid satisfiability solver by integrating the conventional decision procedures used for solving the boolean satisfiability problem. 

For my PhD, I developed high level synthesis techniques for optimizing arithmetic datapaths using concepts from finite ring algebra. My research advisor was Dr. Priyank Kalla.