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?)