Research

R Venkatesh

Chief Scientist

 

Education: 
Venkatesh has obtained his Masters in Computer Science.

Research Interests:

  • Software engineering
  • Testing
  • Formal methods
  • Formal verification
  • Static analysis
  • Requirements specification and Analysis

List of Publications (PDF, 73 KB)

 

Reach Us.

Share