Ravindra Metta is a Technical Architect and a Distinguished Engineer at TCS Research and Innovation. He holds two Masters Degrees: one in Mathematics and one in Computer Science. He has over 20 years of experience in the research and development of software engineering tools based on formal methods.