I belong to the System Group of Univ. of Wisconsin, Madison.

I am interested in anything related to software reliability, and especially reliability of concurrent software systems.