Society increasingly relies on complex computerized systems to accomplish basic daily functioning.
A central theme of Dr. Sullivan's research is designing systems that can tolerate faults. With his colleagues, Dr. Sullivan has defined and analyzed novel probabilistic models of self-monitoring multiprocessor systems and provided powerful diagnostic strategies for localizing and removing faults. He and Prof. Masson have also introduced a promising software fault tolerance technique called the certification trail method. Dr. Sullivan's research interests also include the broad area of the design and analysis of algorithms, e.g., algorithms motivated by artificial intelligence applications. In Proc. of the 7th Symposium on the Frontiers of Massively Parallel Computation , Annapolis, MD, IEEE Computer Society Press, pp.