R

公开评价概览

评价数

1

均分

— 分

点赞/踩

0 / 0

学生评价

• 未评分
  做的是CS领域最冷门，最枯燥，最没钱途的形式化方法和软件证明方向，这种phd在公司极难找到对口的工作，刚来哥大就和他yale的导师成立了一个公司，把手头的垃圾证明项目包装成可以100%保证用户软件安全的神兵利器。感觉就是个学术圈的投机分子，不过藤校CS就喜欢招这种夸夸其谈水paper的人，所以永远也赶不上四大。
  
  
  
  
  
  
  
  
  
  
  
  打过一次交道，印象非常不好，两只眼睛盯着你滴溜溜地转，好像在从你身上寻找利用价值一样, 让人非常不舒服。