Computer science PhD Student at IIT Delhi, India. Research area is program analysis and verification.