Raghavendra Kagalavadi Ramesh - Senior Researcher
Raghavendra has completed his Ph.D from Dept. of Computer Science and Automation, Indian Institute of Science, Bangalore in 2013. His research interests include formal verification, program analysis and information flow security. He joined Oracle Labs as a postdoctoral researcher on Jan 2014. Before that he was at International Institute of Information Technology, Bangalore, as a postdoctoral researcher (Jun 2013 - Dec 2013) working on designing and implementing algorithms to generate test-cases for Simulink/Stateflow models.
His publications can be seen in