Ravindra Metta is currently the Head of Foundations of Computing at TCS Research, where they focus on scaling up formal methods and tools for model verification, validation, and automated test generation. Ravindra's career includes significant contributions at TCS, Microsoft, and earlier roles as a Developer and Project Leader, where they specialized in building custom translators and scalable tools for program analysis. They earned an M. Tech. in Computer Science from the University of Hyderabad and hold dual master's degrees in Mathematics and a Bachelor of Science focused on Mathematics, Physics, and Chemistry from Bapatla College of Engineering and Bapatla College of Arts & Science, respectively.
Location
Pune, India
This person is not in the org chart
This person is not in any teams
This person is not in any offices