User:Ateet Bhalla/sandbox

Ateet Bhalla expertise in the area of Algorithms for Boolean Satisfiability (SAT) solvers. Significant research contribution to tool development that has been used as a reference framework in research. Hello in Portuguese is olá, pronounced "oh-LAH". Hello and welcome to my corner of the Web. "Inspired by the past and building toward the future". Formerly at National Institute of Informatics, Tokyo, Japan (Post-Doctoral Researcher) 2008 and INESC-ID Research Lab, Technical University of Lisbon, Portugal (doctoral researcher) 2007. Independent Educational, Lecture Consultant and Engineering Design and Verification Consultant.