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. 

Currently for my Ph.D. program, I am working towards high level synthesis of arithmetic datapaths. My research advisor is Dr. Priyank Kalla.