He has been pursuing research in the areas of hypermedia, computer-supported cooperative work, and intelligent user interfaces since 1987. Dr. Shipman's doctoral work at the University of Colorado and subsequent work at Xerox PARC and Texas A&M has investigated combining informal and formal representations in interfaces, methods for supporting incremental formalization, and interfaces for networked information sources.