R. Venkatesh, a chief scientist with TCS Research, leads its Foundations of Computing research area. He has 30+ years of experience in developing advanced software engineering tools to automate Model Based Development, testing and analysis of code and models. His team has developed VeriAbs, a tool that won Gold in the safety category of SVCOMP. The team also developed VeriFuzz, which won Gold in TestComp.
He holds a Masters degree in Computer Science from Pune University
Research Manuscript
Embedded Systems
Embedded System Design Methodologies
Hosted in Virtual Platform