She has worked in the fields of computer security, networking and operating systems for the last 20 years, having been employed in the R&D division of the System Development Corporation, at the Aerospace Corporation, and Trusted Information Systems. She has been with the University of Arizona since 1991. Her research interests center around architectures for combining major system features into large systems with high performance. She is also interested in ways of using logic to provide increased program correctness assurance and combinatorics. Education: BS degree in mathematics from MIT, graduate computer science coursework at UCLA.

She is a member of the program committee for the 1997 ISOC Symposium on Security in Distributed Systems.