Kevin J. Sullivan

Who is Kevin J. Sullivan?

Kevin J. Sullivan is an American associate professor of computer science at the University of Virginia in Charlottesville, Virginia, United States. He also holds the title of Virginia Engineering Foundation Endowed Faculty Fellow in computer science at the University of Virginia. He is best known for his work with ultra-large-scale systems.

He received a bachelor's degree from Tufts University in 1987, and received MS and PhD degrees in Computer Science and Engineering from the University of Washington in 1994. He has been at the University of Virginia since 1994.

His best known work is on Mediator-based Design Style with David Notkin, on the Galileo: Fault Tree Analysis Tool with Joanne Bechta Dugan. He has also contributed to the design of the Eos along with Hridesh Rajan, and is one of many co-authors of the report Ultra-Large-Scale Systems: The Software Challenge of the Future

His most cited papers as shown in Scopus are:

"Software reflexion models: Bridging the gap between source and high-level models ",by Murphy, Gail C., Notkin, David, Sullivan, Kevin, Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering 1995, pp. 18–27., cited 105 times