FormaliSE 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025
Ravindra Naik

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

Show activities from other conferences

Using general profile