Shetal Shah

Centre for Formal Design and Verification of Software, (CFDVS),
IIT Bombay, Powai, Mumbai 400076
Contact: +91 22 2576 8709, Email: shetals [at] cse [dot] iitb [dot] in

Publications

Formal Verification

Test Data Generation

Dynamic Data Dissemination

Education

Ph.D in Computer Science and Engineering from IIT Bombay, 2008