Skip to main content
Skip to footer
Contact Us
We are taking you to another website now.
R. Venkatesh
Research and Innovation

R. Venkatesh is a Chief Scientist at TCS Research and heads its Verification and Validation Program. He has been with TCS for more than 25 years, working primarily in the areas of software development, formal methods, and verification. During this tenure, he has led several tool development projects, including TCS ECA, a static analysis tool that is sold commercially by the company. Other tools include MasterCraft and more recently a formal specification notation called EDT.



Recent Editions


Thank you for downloading

Your opinion counts! Let us know what you think by choosing one option below.