Welcome To ....
Seetha's Home Page

PhD Student
Centre for Formal Design and Verification of Software (CFDVS)
Department of Computer Science and Engineering
Email: seetha[@]cse[.]iitb[.]ac[.]in
(Please remove the brackets while sending me a mail)

Web: http://www.cse.iitb.ac.in/~seetha

  • I am working under the guidance of Prof. Supratik Chakraborty. We are currently investigating techniques for Reachability Ananlysis of Large Sequential Circuits.



Last modified: Sun Oct 29th 2006