"To raise new questions, new possibilities, to regard old problems from a new angle, requires creative imagination and marks real advance in science."— Albert Einstein
Educational Qualifications:
Doctor of Philosophy (Computer Science and Engineering), Wright State University, Dayton, Ohio (2012)
Behavioral Signature-based elimination of unsatisfiable variable mappings in Large Scale Boolean Matching.
Involves research and development of novel techniques to compute Boolean Signatures for variables that expedite the process of determining a variable mapping between two large-scale designs that will make them functionally equivalent. This methodology finds its use in the areas of digital design verification, testing and recovery.
A draft of the Ph.D. proposal related to this research is available upon request.