Jayanta Bhadra's Homepage Jay Bhadra's Homepage

Welcome

Following are remnants from my former webpage.

Formal Verification of Hardware: reviews and surveys
Photography: please email me if you want access. A small glimpse here.
Publications

Announcements

International Workshop on Microprocessor Test and Verification (MTV), December 2008: Call for papers
Deadline: Sept 1, 2008
Workshop on Constraints in Formal Verification (CFV), August 2008: Call for papers
Deadline: May 15, 2008
International Symposium on Quality Electronic Design (ISQED), March 2008: Call for papers
Deadline: Sept 30, 2007

Many thanks to my advisor, Prof. Jacob Abraham (web) and my lab, CERC for hosting this page. Thanks also to CERC sysadmin Andrew Kieschnick for helping me with various web access issues.

Jay Bhadra's Homepage