Jayanta Bhadra's Homepage Jay Bhadra's Homepage

Welcome

Following are archaeological remnants of my former webpage:

Formal Verification of Hardware: reviews and surveys
Photography: please email me if you want access. A small glimpse here.
Publications
Due to transitive closure all of Jacob's students are proud members of the McCluskey Tree
My Erdös number is 4: Paul Erdös -- Michael Makkai -- Matt Kaufmann -- Sandip Ray -- Jay Bhadra

Announcements from conferences/workshops:

International Workshop on Microprocessor Test and Verification (MTV), December 2009: website
Deadline: September 15, 2009 (closed)
VLSI Test Symposium (VTS), April 2010: website
Deadline: September 20, 2009 (closed)
International Symposium on Quality Electronic Design (ISQED), March 2010: website
Deadline: October 17, 2009 (closed)
Workshop on Constraints in Formal Verification (CFV), August 2008: website
Deadline: April 22, 2009 (closed)

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

Jay Bhadra's Homepage