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