曹钦翔

Shanghai Jiao Tong University
  • Reviews: 1 · Overall: 4.00 / 5

1 Reviews

Official Review by mysupervisor-dump-2022

Other Reviewby mysupervisor-dump-2022 2022-04-04
Review Body:[Imported 2022-04-04 from mysupervisor.org (2022 archival dump, via pengp25/RateMySupervisor)] 类别: 985 院系: 电子信息与电气工程学院 【评价 1 · rate 3.8/5】 导师辨识特征：信息NOI金牌 -> 数学CMO金牌 -> 北大哲学 -> Princeton -> JHC.SJTU ； Coq / VST （随手百度扒到了十年前的贴吧发现的...） 学术水平：从本科生的角度看： 交大很珍贵的计算机理论人才； 他真的什么都会...他能1s解决我想一天的问题...我想一周的问题他也就思考1min吧...目前为止一年多了，让我去“试一试”的解决思路还从没翻过车；亲眼见证过同时给五个项目同学答疑，无缝切换不卡壳； 主要研究分离逻辑、程序验证、程序语言理论，但是编译器、操作系统、并行程序这些他也都很溜，编译器验证和操作系统验证应该做(?)；数学系的东西他基本都会；数理逻辑大师； 凌晨三点能回消息；大年三十以及前后若干天一个人在git上疯狂commit push（原来大佬也会狂肝） 写此帖子的时候，我知道的本科生项目有关于智能合约验证、图算法验证、模态逻辑形式化、实数形式化（都是PRP项目）； 听到过一次和博士生在讨论操作系统的问题； 研究生不知道做什么； 目前实验室本科生占绝大多数 同届有本科生大佬做PRP发了顶会； 让我非要挑个缺点，脑子转太快...有时候（很多）会跟不上，主要是很多他问题他觉得显然而且不觉得我觉得不显然； 不过因为才毕业两年，可能还要积累一下...不过按现在实验室的效率，应该很快会成为高产组; 科研经费：我，本科生 学生补助：我，本科生，本来是借搬砖来学习的，居然都有补贴...人生第一桶金捞到了 师生关系：吼啊 本科生做项目也是亲自指导，甚至刚开始会有代码级别的手把手； 代码写熟了也会定期讨论并高效解决具体项目中遇到具体的小问题； 学业的问题都可以交流； 有个博士生似乎是转专业过来的，cs基础弱一点，但是都很耐心地解答问题 工作时间：本科生是每周定期讨论进度，哪里有问题就讨论哪里，平时效率主要靠自觉，但是一般不好意思拖 学生前途：起码首先我感受到了知识的力量
Overall:4: Good - Generally positive experience; would recommend with minor caveats.
Mentoring:4: Good - Mostly attentive and helpful; occasional gaps.
Research Guidance:4: Good - Generally good steering; occasional misdirection.
Funding:4: Good - Reliable funding with occasional stress.
Work-Life Balance:4: Good - Generally healthy hours with occasional crunches around deadlines.
Career Support:4: Good - Helpful letters and connections for most paths.
Add: