Ravindra Metta

Head of Foundations of Computing at TCS Research

Role: Principal Scientist at Tata Consultancy Services
Location: Pune, IN
LinkedIn followers: 500 followers

ScienceView LinkedIn profile

About Ravindra Metta

My work mainly constitutes the following- 1.Building on software engineering…

Experience

Principal Scientist
Tata Consultancy Services
Dec 2008 — Present · Pune, IN
Member of the Foundations of Computing Research Area. I work on scaling up formal methods and tools for the verification, validation, and estimation of models and code. Of late, I am working extensively on automated test generation as a means of solving a variety of problems such as error detection, proofs of (non-)termination, and estimation of worst case execution time.Technologies: Model Checking, Static Data flow analysis.Languages: Statecharts, C, C++, and JavaApplications: Automated test generation, automated verification, real time systems (CPS, IoT), and optimization problemsPlatform: Windows, Linux

Skills

Unix
Algorithms
Software Development
Data Structures
C++
Software Design
Compilers
Core Java
Requirements Analysis
Computer Science
C
Scalability
Software Engineering
Embedded Systems
Testing
Java
Distributed Systems

Contact information

Verified work emails, personal emails, and direct dials — unlocked in one click.

Work email
•••••@tcs.com
Personal email
•••••@•••••.com
Direct dial
+•• ••• ••• ••••

Unlock verified contacts

Free to start · No credit card required

Current company

Tata Consultancy Services

IT Services and IT Consulting · 726K employees · Founded 1968 · Mumbai, India

Tata Consultancy Services (TCS) is the technology partner of choice for industry leading organizations worldwide. Since its inception in 1968, TCS has upheld the highest standards of innovation, engineering excellence, and customer service. It has set an aspiration to become the world's largest AI-led technology services company and is enabling its clients to transform themselves across the full AI stack, from infrastructure to intelligence. Rooted in the heritage of the Tata Group, TCS is focused on creating long term value for its clients, its investors, its employees, and the community at large. With a highly skilled workforce spread across 55 countries and 202 service delivery centers across the world, the company has been recognized as a top employer in six continents. With the ability to rapidly apply and scale new technologies, the company has built long term partnerships with its clients – helping them emerge as perpetually adaptive enterprises. Many of these relationships have endured into decades and navigated every technology cycle, from mainframes in the 1970s to artificial intelligence today. TCS sponsors 14 of the world’s most prestigious marathons and endurance events, including the TCS New York City Marathon, TCS London Marathon and TCS Sydney Marathon with a focus on promoting health, sustainability, and community empowerment. Caution against fraudulent job offers: TCS doesn’t charge any fee throughout the recruitment process. Refer here: https://www.tcs.com/careers/india/recruitment-fraud-alert

tcs.com

Find verified contacts for anyone on LinkedIn

Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.

Start for free See how it works

Free plan included · No credit card required

This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.

About Ravindra Metta

Experience

Principal Scientist

Skills

Find verified contacts for anyone on LinkedIn