chinu
239
reputation
2
6
Computer science PhD Student at IIT Delhi, India. Research area is program analysis and verification.