Kevin J. Sullivan (datavetare)

Kevin J. Sullivan är en amerikansk docent i datavetenskap vid University of Virginia i Charlottesville, Virginia , USA . Han har också titeln Virginia Engineering Foundation (VEF) Endowed Faculty Fellow i datavetenskap vid University of Virginia. Han är mest känd för sitt arbete med ultrastora system (ULS).

Han tog en kandidatexamen från Tufts University 1987, och fick MS- och PhD-grader i datavetenskap och teknik från University of Washington 1994. Han har varit vid University of Virginia sedan 1994.

Hans mest kända arbete är på Mediator-baserad designstil med David Notkin , på Galileo: Fault Tree Analysis Tool med Joanne Bechta Dugan . Han har också bidragit till utformningen av Eos (programmeringsspråk) tillsammans med Hridesh Rajan och är en av många medförfattare till rapporten Ultra-Large-Scale (ULS) Systems: The Software Challenge of the Future

Hans mest citerade artiklar som visas i Scopus är:

• "Software reflexion models: Bridging the gap between source and high-level models", av Murphy, Gail C., Notkin, David, Sullivan, Kevin, Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering 1995 , s. 18– 27., citerad 105 gånger
• "Software Reflexion Models: Bridging the gap between design and implementation" av Murphy, GC, Notkin, D., Sullivan, KJ IEEE Transactions on Software Engineering.. 27 (4), 2001, s. 364–380, citerad 99 gånger.
• "Modulär mjukvarudesign med tvärgående gränssnitt" av Griswold, WG, Shonle, M., Sullivan, K., Song, Y., Tewari, N., Cai, Y., Rajan, H IEEE Software 23 (1), s . 51–60, 2006, citerad 66 gånger.

externa länkar

• Kevin J. Sullivans hemsida