divyeshunadkat

PhD, CSE, IIT Bombay. Advisers: Prof. Supratik Chakraborty and Prof. Ashutosh Gupta. Areas: software verification, program analysis, compilers.

Indian Institute of Technology BombayMumbai, India