![Ravichandhran Madhavan](https://conf.researchr.org/getProfileImage/ravichandhranmadhavan/a2b3f860-fe1b-4ce6-8571-a5d46842a828/small.jpg?1711460947000)
Registered user since Tue 18 Aug 2015
Name:Ravichandhran Madhavan
Country:Switzerland
Affiliation:EPFL
Personal website: http://lara.epfl.ch/~kandhada
Research interests:Programming Languages, Software Analysis, Verification, Synthesis
Contributions
ICFP 2018-profile
View general profile
View general profile