清华90后 MIT助理教授范楚楚获ACM最佳博士论文奖

n
nongminf
楼主 (北美华人网)
如果说哺乳期带娃面试斩获 MIT 助理教授 offer,是 90 后科学家范楚楚踏入社会的第一个惊喜;那么在工作一年后,得知自己的博士毕业论文获得 ACM(美国计算机协会,Association for Computing Machinery) 最佳博士论文奖,想必是的她的又一个人生惊喜。
图 | 范楚楚(来源:受访者)
本科毕业于清华、博士毕业于伊利诺伊大学,29 岁入职 MIT 担任助理教授,这是陕西女孩范楚楚的学霸履历。关于此次论文获奖,她告诉 DeepTech,这篇论文是她的博士生导师提名的。
图 | 范楚楚获得 ACM 最佳论文奖(来源:ACM 官网)
ACM 奖项一般喜欢既有理论贡献、又有实际应用案例、同时同行评价较高的论文。提名流程一般是先在校内提名,每所大学可提名 1-2 篇博士论文,因此仅学校内部的竞争就已非常激烈。所以每一篇被学校提名的论文就已经是非常优秀的了。
最终参与评选的各校集中提交论文,ACM 评审委员会会选出三份论文,并授予其中一篇最佳论文奖,两篇荣誉奖。此次其论文入选理由是:这篇工作为嵌入式与信息物理系统的验证做出了奠基性贡献,且展示了该技术应用于工业系统的可能性。
图 | 范楚楚获奖论文(来源:受访者)
获奖论文主要成果:灵敏性分析
范楚楚的研究方向是形式化方法,该领域在分支上还有很多经典方法,比如模型检测和抽象解释,这都是已被验证的实用数学工具。其中,模型检测还拿过 2007 年的图灵奖。
她表示,在计算机科学和软件工程领域,形式化方法要求所有东西都必须给出严谨证明。其主要指导思路是在设计系统时,不仅仅只是为了优化实际过程中的表现,而是要先理解用户对于系统的需求是什么,从而进行相关设计。在设计完之后,还要做验证并给出严谨的证明,证明系统一定会满足当初的设计要求。
图 | 范楚楚在作报告(来源:受访者)
此前,形式化方法的理论性工作更多集中在程序或电路设计上。近年来,无人车、四旋翼飞机等更多是使用网络实体系统。以嵌入式系统为例,计算机程序主要是控制一些物理实体,最简单的例子就是无人驾驶汽车,即算法最终要控制汽车。
因此,范楚楚更关注物理实体上的系统性质,一些跟安全强相关的性质也都跟物理实体相关,比如说汽车必须遵守交通规则,也不能撞车或者撞人。
这些性质是在物理实体上,但又是被算法控制的,所以算法和物理实体是紧密连接的,那么这时就不能单看某个部分,而这正是形式化方法领域近年来的热门应用,让它去结合控制论和机器学习一类的方法,并用在无人驾驶汽车等更复杂的系统上。
基于获奖论文的成果,此前范楚楚读博时的导师已经成立位于 UIUC 的初创公司。在获奖论文中,她开发的几个软件工具,也帮助该公司的工程师们去分析设计出来的系统以及算法的灵敏度。
据她介绍,当时美国也有不少机构去赞助这家公司,因此这并不是一个单纯盈利的公司,而是探索新成果如何在现实生活中得到应用,以及去发现业界面临的相关问题,因此该公司的产品主要是安全分析工具以及检测工具。

哺乳期带娃面试,惊喜远大于困难
2018 年末范楚楚开始给各个学校投简历,2019 年上半年开始参加各种面试、并于 2020 年秋季入职 MIT 航空航天系。她认为这跟当时找在北美找教职的市场非常好有关,同年还有另一位 UIUC 的女生也拿到了 MIT 的教职。
收到 MIT 入职 offer 之前,她一共面试了十几家学校,由于小孩当时才四五个月,其中四场面试都是带娃面试。开始她觉得作为哺乳期妈妈,去找工作会很困难,但是导师和朋友都劝她大胆去尝试,最终她发现惊喜远远大于遇到的困难。
图 | 范楚楚(来源:受访者)
面试过程一般是 1-2 天,所应聘的学校一般会要求求职者,做一两个演讲来介绍自己的成果,剩下的时间主要是和不同老师进行一对一的面试。
当时小孩年纪太小,她不想长时间离开孩子,但当时要进行连续三个月的集中面试,一旦飞走面试基本就是三天,她也不想把孩子放家里。于是有几场面试,是先生和孩子陪着她面试的。
范楚楚的爱人是自己的在西北工业大学附属中学读高中时的同学,高中毕业后都考上了清华。到申请博士时,两人关系已经比较稳定,于是同时申请到了伊利诺伊大学,后来在读博期间结婚。两人后来的研究领域都属于计算机,但她先生更偏向机器学习和自然语言处理,而她自己则是研究安全性分析和形式化方法。
图 | 左一、左二分别是范楚楚的先生和女儿(来源:受访者)
她说自己先生是自然语音处理领域的非常让人佩服的学者,为家庭做了很多牺牲。找工作时,他们同时收到了杜克大学的 offer,但是因为自己更想要 MIT 的工作机会,于是先生就放弃了杜克大学的 offer,选择距离 MIT 比较近的亚马逊公司上班。
范楚楚从小生活在陕西汉中市,父母都出身自农村,靠自己努力成为汉中当地高校的老师。中考时,范楚楚被省会西安的西工大附中录取,父母为了陪她读书来到西安,并重新入职到一间大专。但她的经历并非一帆风顺,高考参加过两次,她表示后来在投递论文和申请教职的过程中,也都曾被拒绝过。
但是回头来看,这些挫折也磨炼除了更强大的自己。今年是她入职 MIT 的第二年,这位 30 岁科学家的科研之路,也才刚刚开始,未来可期。
苹果绿
太优秀了
a
asfew
今天我又是浪费地球空气的一天
C
COHomeSearch
真正的人生赢家啊 太赞了
m
moonbag
太牛了
t
tiffany2013
太优秀了! UIUC 的CS 牛, 毕业去MIT 作Faculty。
L
LEAUPARKENZO
太牛了
a
amberhoho
优秀!娃也长得好可爱!
y
yzhao4
牛逼啊 老公也给力
y
yueceiling
不喜欢国内动辄在前面加“90后”这种标题,好像什么成就只有年轻人取得的才叫成就。同样的成就,60岁做到了就一文不值。
所以国内年轻歧视严重,过了40岁再回去基本没人理。
c
cistim
年轻有为
N
NJ橘猫
不喜欢国内动辄在前面加“90后”这种标题,好像什么成就只有年轻人取得的才叫成就。同样的成就,60岁做到了就一文不值。
所以国内年轻歧视严重,过了40岁再回去基本没人理。
yueceiling 发表于 2021-07-24 21:30

这样也能连带到国内。那美国评选的三十岁前最有成就的人,怎么说呢?
c
cistim
不喜欢国内动辄在前面加“90后”这种标题,好像什么成就只有年轻人取得的才叫成就。同样的成就,60岁做到了就一文不值。
所以国内年轻歧视严重,过了40岁再回去基本没人理。
yueceiling 发表于 2021-07-24 21:30

美国选美都是20多岁的。你怎么看。
b
boopy
好牛,老公也愿意牺牲,夫妇都去杜克在一个大学多好啊,果然牛人跟我等普通人的想法不一样……

不是专业不一样简直以为是认识的人。我认识的一女孩,边答辩边怀孕,也是孕期找工作,月子没出就去onsite,拿到offer,也是非常棒,也拿了奖。
S
Sherlock2020
伴侣还是青梅竹马的高中同学 真是人生赢家
公用马甲5
好牛,老公也愿意牺牲,夫妇都去杜克在一个大学多好啊,果然牛人跟我等普通人的想法不一样……
boopy 发表于 2021-07-24 21:37

我怀疑那个杜克大学的offer不一定是tenure track,可能是博后。很少见一个大学给同一所学校两个同专业couple都发tenure track的offer。如果真是tenure track,放弃杜克的教职去亚马逊这也太。。。
k
kebler
我怀疑那个杜克大学的offer不一定是tenure track,可能是博后。很少见一个大学给同一所学校两个同专业couple都发tenure track的offer。
公用马甲5 发表于 2021-07-24 23:21

公马别乱说 spousal hire挺很常见的 而且他们还不一定是 不过一个人教授一个业界挺好的 总之感情事业都算是人赢

n
neerer
结婚了啊
w
wfmlover
喂喂,现在的博士毕业,不是90后,难道还是80后吗………………
w
wenhaoduoduo
还在caltech做了一年博后,一路都是牛校啊
V
Viviennedd
这俩的孩子一定很聪明吧
伪猴王
今天我又是浪费地球空气的一天
asfew 发表于 2021-07-24 21:08

哈哈,me too.
c
curiousmonkey
不喜欢国内动辄在前面加“90后”这种标题,好像什么成就只有年轻人取得的才叫成就。同样的成就,60岁做到了就一文不值。
所以国内年轻歧视严重,过了40岁再回去基本没人理。
yueceiling 发表于 2021-07-24 21:30

这明明是美国的,你还要不遗余力带节奏,至于吗,好好看个帖子,夸奖一下不难啊
风陵渡
码工和教授的组合
w
weparty
人才啊!
h
huila
Wow, 今日一连在华人上看到两个榜样。一个年纪大一点,一个年纪小很多。真是励志啊
l
louaci
牛人恒牛
F
Fhu
a
alex20200731
太优秀了!
c
cannie
我怀疑那个杜克大学的offer不一定是tenure track,可能是博后。很少见一个大学给同一所学校两个同专业couple都发tenure track的offer。如果真是tenure track,放弃杜克的教职去亚马逊这也太。。。
公用马甲5 发表于 2021-07-24 23:21

Duke的教职几乎没有可能放弃去亚麻
C
Confuse
江山代有才人出
s
summermiao
好牛,老公也愿意牺牲,夫妇都去杜克在一个大学多好啊,果然牛人跟我等普通人的想法不一样……
boopy 发表于 2021-07-24 21:37

放弃mit offer去duke?我普通人我也做不到。。。而且为啥夫妻在同一个学校就是好?现在一个学术一个业界不是更好吗?
k
kattyliu2015
公用马甲5
公马别乱说 spousal hire挺很常见的 而且他们还不一定是 不过一个人教授一个业界挺好的 总之感情事业都算是人赢


kebler 发表于 2021-07-24 23:29

我就在学术界,spousal hire一般就几种情况:1.二人都是学生或者刚工作不久的非牛校AP,一般会被hire成一个AP一个research fellow或者lecturer。2.两个都是比较牛的学校做出了一定水平(至少工作了好几年)的AP,才可能被另外一所学校都hire成AP。他们两个都是PhD学生或者博后,同时被Duke这种档次的学校hire成tenure track的AP的可能性几乎为零。就算是真的,那么如果她老公能被杜克hire成AP,找个波士顿BU,BC,UMass(各个分校),Suffolk之类学校的AP职位易如反掌,绝对不可能去亚麻。
3
3906
我就在学术界,spousal hire一般就几种情况:1.二人都是学生或者刚工作不久的非牛校AP,一般会被hire成一个AP一个research fellow或者lecturer。2.两个都是比较牛的学校做出了一定水平(至少工作了好几年)的AP,才可能被另外一所学校都hire成AP。他们两个都是PhD学生或者博后,同时被Duke这种档次的学校hire成tenure track的AP的可能性几乎为零。就算是真的,那么如果她老公能被杜克hire成AP,找个波士顿BU,BC,UMass(各个分校),Suffolk之类学校的AP职位易如反掌,绝对不可能去亚麻。
公用马甲5 发表于 2021-07-25 15:56

其实一个业界一个学术界的组合 perfect。比两个faculty好,可以互补。只是去亚麻给别人打工太亏了。
公用马甲5
其实一个业界一个学术界的组合 perfect。比两个faculty好,可以互补。只是去亚麻给别人打工太亏了。
3906 发表于 2021-07-25 15:59

是的,要是去谷歌FB还可以说是个人选择,去亚麻说是为了家庭放弃教职我是不太信的。
J
Jaelynleaf
唉,九零后好像是比八零后出彩啊
C
Confuse
唉,九零后好像是比八零后出彩啊
Jaelynleaf 发表于 2021-07-25 16:04

当然,九零后是真正吃到了改革开放的红利。逆境成才是特例,顺境才是会出大量的人才。八零后物质生活比七零后强太多,但是在机会卡位上就没那么好。
m
mmzh
厉害
3
3906
唉,九零后好像是比八零后出彩啊
Jaelynleaf 发表于 2021-07-25 16:04

80后马上就会出院士了。参见彦宁李飞飞。
S
Shani
回复 31楼cannie的帖子
确实是tenure track的教职。。。 我觉得挺好理解的,Durham比Boston差得不是一星半点。。。夫妻俩女的教职稳定,男的码农捞钱,不是很好的组合吗?
S
Shani
是的,要是去谷歌FB还可以说是个人选择,去亚麻说是为了家庭放弃教职我是不太信的。
公用马甲5 发表于 2021-07-25 16:00

谷歌和FB在boston没有research lab。。。
c
cathytree
牛人牛人!!!
y
yyx.xxy.2005
回复 31楼cannie的帖子
确实是tenure track的教职。。。 我觉得挺好理解的,Durham比Boston差得不是一星半点。。。夫妻俩女的教职稳定,男的码农捞钱,不是很好的组合吗?
Shani 发表于 2021-07-25 18:15

真的放弃duke的tenure track教职? 那这个老公很伟大哦。 一般男的不会为女的牺牲自己的事业的。 amazon applied scientist 真的很一般,知道几个是biology phd毕业也在做as, train model.
他老公最多顶死进去直接拿as level 5吧。这跟在duke当ap差远了。。duke私校,而且地处rtp, 环境挺好的,周边还有unc 牛校。
boston 烂区也很多的,不见得有多好。
y
yyx.xxy.2005
谷歌和FB在boston没有research lab。。。
Shani 发表于 2021-07-25 18:18

google 在boston有research lab.
公用马甲5
回复 31楼cannie的帖子
确实是tenure track的教职。。。 我觉得挺好理解的,Durham比Boston差得不是一星半点。。。夫妻俩女的教职稳定,男的码农捞钱,不是很好的组合吗?
Shani 发表于 2021-07-25 18:15

你是怎么知道的?
S
Shani
真的放弃duke的tenure track教职? 那这个老公很伟大哦。 一般男的不会为女的牺牲自己的事业的。 amazon applied scientist 真的很一般,知道几个是biology phd毕业也在做as, train model.
他老公最多顶死进去直接拿as level 5吧。这跟在duke当ap差远了。。duke私校,而且地处rtp, 环境挺好的,周边还有unc 牛校。
boston 烂区也很多的,不见得有多好。
yyx.xxy.2005 发表于 2021-07-25 18:59

不愿意牺牲的男的 老婆事业也没这么好吧。。。毕竟老婆教职duke upgrade到MIT啊。。 cs phd进亚麻L5很容易,干得好两年升L6了,薪水至少duke的三倍啰~
S
Shani
google 在boston有research lab.
yyx.xxy.2005 发表于 2021-07-25 18:59

研究方向不同。。。
耳朵的树洞
研究方向不同。。。
Shani 发表于 2021-07-25 19:19

你是知情人还是当事人?
S
Shani
你是怎么知道的?
公用马甲5 发表于 2021-07-25 19:05

我反正不是她老公。。。😂
r
ranran
我反正不是她老公。。。😂
Shani 发表于 2021-07-25 19:25

你是她本人?😂