如何在形式化验证领域培养研究生？

培养的目标

• 能在形式化验证这一领域独立作研究的科研工作者
  • 选题
  • 实验
  • 写作

现状

• 有的同学会先跟学长学姐一同研究，往往是承担实验部分的任务
• 有的同学会一上来就独自开展研究
• 普遍缺乏正反馈
• 师生关系疏远

建议

• 吸引未入门的同学：本科生课、SRT
• 让刚入门的同学比较容易参加正反馈的活动：
  • 给一些具体的、简单的、容易的 idea
  • 参加 SRC (student research competition)
• 给刚入门的同学多一点耐心和鼓励
• 把问题归因于同学不努力不是一个合适的归因：
  • 劳逸结合
• 可以让刚入门的同学多读点经典论文，而不是一上来就直接做一个小问题。