Phone: (434) 982-2206
Fax: (434) 982-2214
Email: sullivan@cs.virginia.edu
Office: 212 Olsson Hall, UVa
evin Sullivan received his Ph.D. in Computer Science
from the University of Washington
in Seattle, Washington in 1994. He then joined the University of Virginia as Assistant
Professor of Computer Science. He received an NSF Career Award in 1995,
the first ACM Computer Science Professor of the Year Award from
undergraduate students in 1998, a University Teaching Fellowship in
1999, the Harold Morton Jr. Teaching Prize in 2000, and a Virginia
Engineering Foundation Endowed Faculty Fellowship in 2003. He founded
Exelix LLC which commercializes Galileo, his software tool
for advanced dynamic fault tree analysis. He has served as associate
editor for the Journal of Empirical Software Engineering and the ACM
Transactions on Software Engineering and Methodology, and on the program
and executive committees of numerous conferences, including the ACM
SIGSOFT Symposium on the Foundations of Software Engineering (FSE), the
International Conference on Software Engineering (ICSE), Aspect-Oriented
Software Development (AOSD), the ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages (POPL), and the International
Workshop on Economics-Driven Software Engineering Research. Sullivan is
the author or co-author of four book chapters and over forty
peer-reviewed journal and conference papers.
ullivan researches software as a medium, in general,
and the design, analysis, and evolution of software-intensive system, in
particular. Explosive progress in device technology is catalyzing the
information revolution, and software is at the center. Software
describes the functions to be performed by computing and communications
devices, yet is a complex and still poorly understood medium in which
information about both application domains and computer system
architectures is encoded in complex, evolving formulae written in
unusual and difficult to analyze mathematical logic. Sullivan directs
projects on modular structure in software, focusing on component
integration and system evolution, software dependability and
trustworthiness, specification-based testing, large-scale reuse, aspect-oriented development,
and software economics. He also maintains interdisciplinary
collaborations in reliability engineering, finance, international
security, and radiation oncology.