My research is on the use of mechanized inference (or Automated Theorem Proving) for hardware verification. With a little luck, we'll soon be able to prove that our hardware matches our specifications, warts and all. My advisor is Dr. David Plaisted, who has a web page at last!

I also worked with Jan Prins and Rik Faith on the type-inference system for the Proteus Parallel prototyping project. Earlier, I programmed the Cowichan test suite in Proteus, as a demonstration of its usability.

Even before that, I worked for Hiroyuki Watanabe studying fuzzy diagnosis systems. See IEEE Transactions on Fuzzy Systems, November 1994, v.2 #4, pp 267. Some of our data files are now available on-line. (Oops! Where did they go?)

Some useful and/or interesting links:, 18-Mar-97
If you have a link to this page...