Mug Shot

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] ac [dot] in

Publications

Formal Verification

Test Data Generation

Dynamic Data Dissemination

Education and Work Experience

  • Ph.D in Computer Science and Engineering from IIT Bombay, 2008
  • Member of Technical Staff, TRDDC, Pune, 1998-2003
  • M.Tech in Computer Science and Engineering from IIT Bombay, 1998
  • Awards and Honours

  • Google Women in Engineering Award, 2008