Professor Computer Science and Engineering [email protected] Bio Data Educational Qualifications B.E.(Computer Engineering), M.M.M. Engineering College, Gorakhpur M.Tech. (Computer Science and Engineering), Indian Institute of Technology, Kanpur Ph.D. (Computer Science and Engineering), Dr. A.P.J. Abdul Kalam Technical University Uttar Pradesh, Lucknow Research Interests Cryptography, Formal Verification