[专业/学校/教授] 不完全盘点下Software Engineering(SE／软件工程)领域的学校和杰出教授 (1) [复制链接]

Rank: 2

小米: 65 粒
学分: 0 个
阅读权限: 80
积分: 1496
帖子: 99
UID: 995

midway 发表于 2009-8-11 11:35:53 |显示全部楼层

本帖最后由 fuxiaoalex 于 2011-3-18 21:32 编辑

欢迎转载，转载请注明来源于一亩三分地论坛bbs：http://1point3acres.com/bbs

开始啰嗦一下，虽然原来在1point3acres这儿很少发帖，但毕竟在这儿自己学到很多很实际有用
的东西。嘿嘿，作为“饮水思源”的SJTU毕业学生，分享下自己的一些信息到这儿，希望大家有用。我一文也不多发了，麻烦有的朋友转帖到水源上的goabroad版面上一份(http://bbs.sjtu.edu.cn)

偶尔在网上看到一篇文章，讲述软件工程专业的出国方向选择和一些教授的情况，如下：
http://www.lilacbbs.com/forum/di ... &start=0&listType=1
可能该文章写得时间比较早，其中的一些信息个人感觉明显过时了，结合我自己了解的
一些情况，也为今后版面上的网友们（尤其是软件工程专业）留下一点有价值的东西，让
大家在申请（甚至套磁）的过程中少走弯路，尽快地了解一个专业的近况。对上述的文章
进行了修改、扩展和纠正。当然由于个人水平有限，欢迎大家一起补充，纠正。

下文95%的地方属于原创，剩下的一部分用了原文中的话，对引用到原文的话恕不一一指出。
文中可能会提到一些关于研究细节，有兴趣的同学可以google一下。另外，提到的所有
professor都有个人主页，基本都是google上搜名字的第一条，因此再次也不一一列出。
下面所提到的professors中，大概30%有过personal contact， 20%在会议中当面见过
甚至讨论过问题。个人感觉绝大部分大牛小牛们还是非常非常nice的。当然下面的东西都是一家之言，大家兼听则明！

进入正题。软件工程（下面简称SE）绝对不是想象中一个孤立的学科（或者是一个只能
从实际项目中得以锻炼，或者是读书或者纯理论无用的学科）。软件工程往往与程序语言
（Programming Language，下面简称PL）密不可分地结合在一起。无论在SE或者PL上，都
有众多的根本性问题（fundamental problem）没有解决。而从研究上讲，很难在
SE和PL之间找到完全的界限。而有时SE,PL又和Computer Architecture 或systems有关
联，所以如果你在做一些和SE方向有关的东西，范围可能会很广一些。下面我着重分析
一些美国做SE研究比较active的学校和教授，可以供大家选校或者套磁时候参考，避免
盲目性（浪费自己和教授的时间）。

排名不分先后哦

MIT:
1）Prof. Daniel Jackson：领导一个Software Design Group, 偏Program analysis和
language, formal method，其中最有名的是他发明的Alloy specification language，
在学术界有着非常大的影响力。他是著名的Michael Jackson (不是唱歌那个，是提出
Jackson方法的大牛)的儿子。Prof.Jackson有一个学生Sarfraz Khurshid目前在
UT-Austin的ECE，也从事SE的研究。

2）Martin Rinard：Stanford的Monica Lam的学生（龙书第二版的作者之一），做的研究
比较偏向与compilation和program analysis。 Prof.Rinard的学生包括：Darko Marinov
目前在UIUC，Chandra Boyapati在UMich，Radu Rugina在Cornell，Brian Demsky在UCI等等。
都在SE领域做着非常不错。

CMU:
1）著名的SEI所在地，有非常资深的教授Prof. Mary Shaw, Prof. David Garlan，此二
人写的Soft Architecture的书也许大家都有的。在此不多说了。

2）Jonathan Aldrich, 毕业于UW, 偏重于PL中的Type System和Software Design。他的博士
论文就是写如何在Java语言中加入一些express software architecture的元素。Prof.Aldrich
在AOP领域也曾经比较活跃，他的Open Module具有一定的影响力.

3）Brad Myers,Prof.Myers其实属于CHI部门，但是目前的研究很大一部分与软件工程相关，
当然侧重于使用人机交互的methodology来解决SE中的问题。他有个学生Andy Ko刚刚去年
毕业，目前在UW教。

4) CMU有个Model checking组， turing奖得主在那，毕业的学生自然不用说。我不是特别清楚，
大家可以去查查。因为最近se里面model checking用得比较热，因此我把这个也归在SE里面了。

Berkeley
1）Koushik Sen，毕业于UIUC，Concolic Testing的创始人之一。近期来在SE/PL领域非常活跃，
目前主要focus在Random testing for concurrent program上。该教授目前如日中天，去他主页
上看看一年多少篇paper就知道了。

2）Parallel Laboratory 中其它教授。涉及了从programming model，到system software，
到software evolution的各种研究。不太好区分。大家有兴趣可以自己查查。

Stanford
和Berkeley一样好像搞专门软工的可能也不太好区分，但有的教授搞PL或者System，但同样
在SE的top会议上比较活跃
1）Monica Lam，学过编译的应该都对Prof.Lam熟悉了。大牛级的人物，大家还是去她
的homepage上查看吧。

2）Dawson Engler，毕业于大名鼎鼎的MIT的PDOS组，最近在从事automated bug finding的
研究。所开发的coverity系统已经商业化，并且在商业和学术界都取得了巨大的成功。但Prof
Engler的研究还是侧重于System，但提出的技术已被SE community所公认。

3）Alex Aiken, 研究偏向理论，和Type System和theory方面比较多。有不少学生在
SE领域做的相当不错，如UW-Madison的Ben Liblit，UC-Davis的Zhendong Su，和Maryland
的Jeff Foster。

UIUC
1）Prof. Ralph Johnson, 是提出Design Pattern的“four gang”之一。他做
design pattern and soft architecture。抱歉，我对Prof Johnson的研究不是很熟悉。

2）Darko Marinov，毕业于MIT，Martin Rinard的学生。主要研究software testing，
尤其是exhaustive test inputs generation上比较有影响，以及他所开发的工具Korat

3）Yuanyuan Zhou，Prof.Zhou其实从严格说不能列入SE方向，但Prof.Zhou目前主要
利用一些PL的technique来增强System software的reliability。据说目前准备move到
UCSD去。有一家startup，叫PatternInsight，也是关于source code analysis方面的。
//yuanyuan zhou已经move到ucsd了，但他的homepage还在uiuc

Univ of Washington:
1）Prof. David Notkin了，Prof. Notkin
原来是ACM SIGSOFT的Chair (ACM Special Interest Group in Software Engineering，软
是ACM SIGSOFT的Chair (ACM Special Interest Group in Software Engineering，软
工界的权威组织，ICSE等都是这个组织主办的, Prof. Notkin做过某届ICSE大会主席，
他去年到过北京参加WCC), 也是ACM SIGSOFT NOTES杂志的主编, IEEE/ACM Fellow。他的研
究方向主要是Software Evolution. 他的学生好几个都在高校做教授，而且在软工界比
较活跃，在UCSD的Prof. Bill Griswold （目前的SIGSOFT主席）, 在U
of Virginia 的Kevin Sullivan, 在加拿大UBC的Gail Murphy，重新回到UW的Mike Ernst，
已经在NCSU的Tao Xie.

2）Mike Ernst. David Notkin的学生，原来在MIT是tenure prof，今年重新回到UW。他
的工作中最为著名的是博士论文中提到的dynamic invariant detection和Daikon工具。

3) Dan Grossman, UW在craig chambers离开后，它的PL大旗一直由Grossman扛着。 Grossman
的工作偏向于functional programming，但非常solid。最近评上了tenure，并且成为
了ACM SIGPLAN的execution committee member。

UT-Austin:
1）Prof. Don Batory 搞Software Generation, Product-Line Architecture的。

2）Dewayne E. Perry也去ECE系（不是CS系）那了。他和
Alexander L. Wolf(UCI) , David Garlan, Mary Shaw(CMU)等一起是Soft
Architecture方面的权威。

3）Sarfraz Khurshid。搞formal method，specification checking之类，也是在ECE系。
另外，UT-Austin有一些PL搞得非常好的教授，包括model checking的创始人之一。

4）kathryn mccarthy 和 Calvin Lin 大牛，虽然属于programming language领域。但
同样， PL和SE确实没什么太严格的界限，大家不妨也查查。

Brown:
1）Prof. Steven P. Reiss 搞Program analysis 和software visualization
的。
2） Shriram Krishnamurthi. 搞得偏理论一点，偏PL。但最近好像再搞一些与
web application security的研究，如sql injection之类。原来在AOP领域也活跃过，
做过