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