Venkatesh-Prasad Ranganath

CS Academic|Engineer interested in formal+empirical methods, systems, security, and scale