Deepak is currently a research student in Computer Science and Automation Department of Indian Institute of Science, Bangalore, India. He is pursuing MSc(engg.) and presently is in his second year of research. His research interest is in verification in general, and verification of cryptographic protocols in particular.
His research supervisor is Dr. Deepak D'souza.
This page is currently under construction. Visit later for more details or contact here