Design and construction of programmed systems. She has designed protection mechanisms and built secure systems that make guarantees about how information is used. She has built multi-processor operating systems and experimented with their underlying architectures and applications. By choice, she implements realistic and substantial systems to test design and implementation hypotheses so as to ensure that systems perform functionally and cost-effectively. Her current focus is survivable information systems, and interactive, distributed computer simulation for training, analysis, and entertainment.