Registered user since Thu 2 May 2019

Name: Ravindra Naik

Country: India

Affiliation: TCS Research, TRDDC, India

Research interests: Software Engineering, Program Analysis, Program Synthesis, Machine Learning, Modelling of Software Systems, Verification of Models

Contributions