Name:Ravindra Naik

Country:India

Affiliation:Tata Consultancy Services

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