我如下對國外一些學校做軟工的比較有名的教授（我所了解
的，如有遺漏請見諒
和補充）列舉一下，讓大家對他們的方向有些了解，如果在哪一方
面感興趣的話可以去
他們的主頁看他們的文章（我大致按照CS排名的順序說）：
Top 4

MIT: 有Prof. Daniel Jackson好像搞Software Design, 偏Program
analysis和
language, formal method的，他是著名的Michael Jackson (不是唱
歌那個，是提出
Jackson方法的大牛)的兒子。和軟工更靠些邊的是去年剛從Univ.
of Washington畢業
的Prof. Michael Ernst,搞Program Invariant (software productivity,
program
analysis方向的)

CMU: 著名的SEI就在那，不過好像不招國際學生，可能因為有國
防性質，計算機系有老
資格的Prof. Mary Shaw, Prof. David Garlan (著名的前任本版版主
Reuse現在是他的
門徒)，此二人寫的Soft Architecture的書也許大家都有的。SEI里
有不少牛人的，不
過不熟，有機會Reuse可以多介紹一些。

Berkeley: 好像搞專門軟工的也沒有，有教授搞language的。

Stanford: 好像搞專門軟工的也沒有，有教授搞language的。

以下的學校我就只說有搞軟工的了，呵呵。

UIUC: 有Prof. Ralph Johnson, 是提出Design Pattern的“four
gang”之一。他做
design pattern and soft architecture。

Univ of Washington: 其實搞軟工的現在只有Prof. David Notkin
了，以前有一個
Prof. Nacy Leveson, 現在去MIT航空系了，她是搞software safety
的。Prof. Notkin
是ACM SIGSOFT的Chair (ACM Special Interest Group in
Software Engineering，軟
工界的權威組織，ICSE等都是這個組織主辦的, Prof. Notkin做過某
屆ICSE大會主席，
他去年到過北京參加WCC), 也是ACM SIGSOFT NOTES雜誌的主
編, ACM Fellow。他的研
究方向主要是Software Evolution. 他的學生好幾個都在高校做教
授，而且在軟工界比
較活躍，如上面在MIT做教授的Michael Ernst, 在UCSD的Prof. Bill
Griswold, 在U
of Virginia 的Kevin Sullivan, 在加拿大U of British Columbia的Gail
Murphy. 他
獲得去年UW Distinguished Mentor(全校每年一個)。（不好意思，
因為比較熟就多介
紹了一些:-)

Texas Austin: 有Prof. Don Batory (以前PKU SEI的一個學生也許
將是他門徒)在搞
Software Generation, Product-Line Architecture的。從Bell Lab去
的搞Soft
Architecture的一個大牛Dewayne E. Perry也去ECE系（不是CS
系）那了。他和
Alexander L. Wolf(UCI) , David Garlan, Mary Shaw(CMU)等一起
是Soft
Architecture方面的權威。

Brown: 有Prof. Steven P. Reiss 搞Program analysis 和software
visualization
的。

Maryland: 由有名的Prof. Victor Basili (ACM Fellow & IEEE
Fellow)領導的比較大
的軟工group，主要是empirical software engineering, software
quality..另外還
有Prof. Marvin Zelkowitz（IEEE Fellow)他寫的Implementation of
Programming
Language估計大家也都有（清華出的影印本）

Georgia Institute of Technology: 有Prof. Spencer Rugaber 做
reverse
engineering的東西，另外還有其他幾個教授在這個group。

University of North Carolina--Chapel Hill：著名的F. B. Brook, Jr.
在這養老
:)，估計他不再帶學生了，他寫的The mythical Man-Month十分著
名，在美國高校中作
為軟工課教科書，這本書的內容都是他在開發IBM 360中的經驗和
總結，十分精闢。他
是1999年圖靈獎得主。

Purdue: 有好幾個教授在做軟工，有個Software Engineering
Research Center

University of Massachusetts： 兩位老資格的教授領導着The
Laboratory for
Advanced Software Engineering Research， Professor Lori A.
Clarke（Acm
Fellow), 前任ACM SIGSOFT Chair.和Prof. Leon J. Osterweil (前
U of Colorado,
UCI系主任，ACM Fellow), 這裡好像主要集中在並行系統軟件工程
上。

UCSD: Prof. Bill Griswold主要做Software Evolution（Prof. Notkin
的學生）

USC: 著名的Prof. Barry Bohem 領導的比較大的Center for
Software
Engineering ， 他的COCOMO模型很著名，ACM Fellow, IEEE
Fellow.這裡主要做
software process和Soft Architecture.還有其他不少教授在這個
group.

U of Virginia: Prof. John Knight 主要做software reliability, Prof.
Kevin
Sullivan(Prof. Notkin的學生)主要做software design和組裝。

U of Corolado: Prof. Alexander L. Wolf (ACM SIGSOFT Vice
Chair) 做software
process, software architecture, configuration management。

Ohio State Univ.有個 Reusable Software Research Group
(RSRG)，

University of California—Irvine: Prof. Richard N. Taylor, Director
of the
Institute for Software Research (ACM Fellow, 前ACM SIGSOFT
Chair), 他的好多
學生也活躍在各高校做教授，比較活躍的有Prof. Michal Young in
U of Oregon,
Prof. Neno Medvidovic in USC……他主要在Soft Architecture, 有
比較有名的C2
project.

Michigan State Univ.: 有一個SENS - Software Engineering and
Network Systems
Laboratory:， 有好幾個教授做軟工。

U of Oregon: 有Software Engineering Research Center，有Prof.
Michael Young
做測試。

另外，基本上各大研究中心都有軟工group, 包括Microsoft
Research, IBM Research,
Bell Lab……