Name:Raveendra Kumar Medicherla

Country:India

Affiliation:Tata Consultancy Services

Research interests:Program analysis and verification, Program synthesis, specification mining and inference, and Fuzz testing