He has obtained his Ph.D. in Mathematics from The Pennsylvania State University in 2013, and an M.S. in Mathematics from Marquette University in 2008. His area of research is Mathematical Logic. More specifically, his area of interest is in non-classical logics, such as intuitionistic logic and paraconsistent logics. His Ph.D. dissertation links intuitionistic logic with computability theory via a model for higher-order intuitionistic logic that is based on the Turing degrees. Before joining IIIT-Delhi, he worked as faculty at The Pennsylvania State University, the University of Tennessee at Chattanooga, and Middle Tennessee State University.