conf.researchr.org / Kumar Madhukar
![Kumar Madhukar](https://conf.researchr.org/getProfileImage/kumarmadhukar/b72b3573-9641-4e64-a601-8b68710b1c54/small.jpg?1711540801000)
Registered user since Wed 30 May 2018
Name:Kumar Madhukar
Country:India
Affiliation:TCS Research
Research interests:Formal Methods, Program Verification, Synthesis
Contributions
Registered user since Wed 30 May 2018
Contributions