Sumith Kulal - POPL 2017 (original) (raw)

Name:Sumith Kulal

Country:India

Affiliation:IIT Bombay

Personal website: https://www.cse.iitb.ac.in/~sumith/

Research interests:Programming Languages, Verification, Synthesis