#13010
2025-04-04T22:03:11.000Z
辨识特征
信息NOI金牌 -> 数学CMO金牌 -> 北大哲学 -> Princeton -> JHC.SJTU ； Coq / VST （随手百度扒到了十年前的贴吧发现的...）
学术水平
从本科生的角度看： 交大很珍贵的计算机理论人才； 他真的什么都会...他能1s解决我想一天的问题...我想一周的问题他也就思考1min吧...目前为止一年多了，让我去“试一试”的解决思路还从没翻过车；亲眼见证过同时给五个项目同学答疑，无缝切换不卡壳； 主要研究分离逻辑、程序验证、程序语言理论，但是编译器、操作系统、并行程序这些他也都很溜，编译器验证和操作系统验证应该做(?)；数学系的东西他基本都会；数理逻辑大师； 凌晨三点能回消息；大年三十以及前后若干天一个人在git上疯狂commit push（原来大佬也会狂肝） 写此帖子的时候，我知道的本科生项目有关于智能合约验证、图算法验证、模态逻辑形式化、实数形式化（都是PRP项目）； 听到过一次和博士生在讨论操作系统的问题； 研究生不知道做什么； 目前实验室本科生占绝大多数 同届有本科生大佬做PRP发了顶会； 让我非要挑个缺点，脑子转太快...有时候（很多）会跟不上，主要是很多他问题他觉得显然而且不觉得我觉得不显然； 不过因为才毕业两年，可能还要积累一下...不过按现在实验室的效率，应该很快会成为高产组;
科研经费
我，本科生
学生补助
我，本科生，本来是借搬砖来学习的，居然都有补贴...人生第一桶金捞到了
师生关系
吼啊 本科生做项目也是亲自指导，甚至刚开始会有代码级别的手把手； 代码写熟了也会定期讨论并高效解决具体项目中遇到具体的小问题； 学业的问题都可以交流； 有个博士生似乎是转专业过来的，cs基础弱一点，但是都很耐心地解答问题
工作时间
本科生是每周定期讨论进度，哪里有问题就讨论哪里，平时效率主要靠自觉，但是一般不好意思拖
学生前途
起码首先我感受到了知识的力量
其他补充
暂无补充