V. Krishna Nandivada

V. Krishna Nandivada graduated from UCLA and has joined IBM India Research Lab. He did his masters from Indian Institute of Science, Bangalore and his bachelors from Regional Engineering College (now known as National Institute of Technology) Rourkela. Before joining in IBM, he has been associated with Hewlett Packard, Bangalore and Sun Labs, Burlington for different periods of times.

His interests include program analysis, programming language design applied to compiler optimizations, program reasoning, model checking etc.




Last updated 5 Dec 2006

My previous webpage