ケビン・J・サリバン（コンピュータ科学者）

ケビン・J・サリバンは、アメリカ合衆国バージニア州シャーロッツビルにあるバージニア大学のコンピュータサイエンスの准教授である。^{[ 1 ]}また、バージニア大学のコンピュータサイエンスにおけるバージニア工学財団（VEF）寄付講座教授の称号も持っている。^{[ 2 ]}彼は超大規模（ULS）システムに関する研究で最もよく知られている。

彼は1987年にタフツ大学で学士号を取得し、 1994年にワシントン大学でコンピュータ科学および工学の修士号と博士号を取得した。1994年以来、バージニア大学に勤務している。

彼の最もよく知られた業績は、David Notkinとの共著によるMediator-based Design Styleと、Joanne Bechta Duganとの共著によるGalileo: Fault Tree Analysis Toolです。また、Hridesh Rajanと共にEos (プログラミング言語)の設計にも貢献しており^{[ 3 ]}、レポートUltra-Large-Scale (ULS) Systems: The Software Challenge of the Future ^{[ 4 ]の多くの共著者の一人でもあります。}

Scopusに掲載されている彼の最も引用されている論文は以下のとおりです。

• 「ソフトウェア反射モデル：ソースモデルと高レベルモデルの間のギャップを埋める」、著者：Gail C. Murphy、David Notkin、Kevin Sullivan、ACM SIGSOFTソフトウェアエンジニアリング基礎シンポジウム議事録1995、pp.  18–27、引用回数105回
• 「ソフトウェア反射モデル：設計と実装の間のギャップを埋める」Murphy, GC、Notkin, D.、Sullivan, KJ著、IEEE Transactions on Software Engineering、27 (4)、2001年、pp.  364–380、99回引用。
• Griswold, WG、Shonle, M.、Sullivan, K.、Song, Y.、Tewari, N.、Cai, Y.、Rajan, H による「横断的インターフェースを備えたモジュール型ソフトウェア設計」IEEE Software 23 (1)、pp.  51–60、2006、66 回引用。

• ケビン・J・サリバンのホームページ