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 presently in my first year of Ph.D., working under the guidance of Prof. Supratik Chakraborty. We are currently investigating techniques for model checking of hardware circuits.


Links


Last modified: Wed Jul 8th 2005 Website Hit Counter
page counter