我如下对国外一些学校做软工的比较有名的教授（我所了解
的，如有遗漏请见谅
和补充）列举一下，让大家对他们的方向有些了解，如果在哪一方
面感兴趣的话可以去
他们的主页看他们的文章（我大致按照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……