Monday, September 3, 2012

He is currently working on non-standard approaches to software reliability based on cryptography, formal methods and programming language theory.
Please visit Professor Ganesh's Profile Page for more information.