CQX

公开评价概览

评价数

2

均分

3.0 分

点赞/踩

0 / 0

学生评价

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