我加入了普渡CS!
我的新网页是
在这里
.
博士后研究员
编程语言&
验证小组
麻省理工学院
计算机科学和
人工智能实验室
监督人
亚当·克利帕拉
关于
本·特拉华
研究
简历
地址:
32-G822号楼Stata中心
瓦萨尔街32号。
美国马萨诸塞州剑桥市02138
电子邮件:
csail.mit.edu的bendy
接触
【4月24日】
很高兴加入
普渡CS
今年秋天!
【4月24日】
服务于
洛拉2016
项目委员会
【4月2日】
草稿:
按结构正确组装
[11月24日]
草稿:
可扩展数据表示合成
新闻