为促进研究生教育质量的提高
推动教师队伍发展
清华大学研究生会
在全校范围内开展
第十九届“良师益友”评选活动
由广大研究生同学
投票选出心目中
“立德为首、学高为师
教益为友、育人为本”
的优秀教师代表
在预提名评选阶段期间
软件学院学院
共有9名教师获得学生提名
经与教师本人确认意向、征集材料
及院系党委和研工组审核
确认推选出
软件学院3位正式提名教师
王朝坤、贺飞、姜宇
（按姓氏笔画排序）
今天，让我们一起走近
“良师益友”候选人——贺飞
教师简介
贺飞，清华大学软件学院长聘副教授、博士生导师，从教16年。主要从事软件形式化理论的教学与科研工作。入选2021年国家青年人才计划和2022年“中创软件人才奖”，曾获并行编程旗舰会议PPoPP 2022最佳论文奖、软件工程顶会ASE 2018杰出论文奖、形式化方法会议SETTA 2022最佳论文奖，组织开发的软件连续两年获国际软件验证大赛并发安全赛道冠军。
立德为首
贺老师深知，作为一名优秀的教师，不仅要传授知识，更要以身作则，成为学生品德修养的楷模。他始终秉持诚实客观、勤奋敬业的原则，无论是在教学还是生活中，都展现出高度的责任感和使命感。有一次，为了准备一个项目的材料，贺老师连续几个晚上熬夜查阅资料、设计方案、撰写文档，甚至牺牲了周末的休息时间，只为呈现最精彩的内容。他的这种敬业精神，深深感染了学生，使他们明白成功背后需要付出怎样的努力和坚持。
贺老师和课题组学生的合照
学高为师
贺老师是一位在形式化验证领域深耕多年的学者型教师，他的课堂总是充满了探索与发现的乐趣。他不仅精通形式化验证的基础理论，更紧跟学科前沿，将最新的研究成果融入教学之中。贺老师不论是在“软件分析与验证”的本科生课程，还是在“软件形式化验证”、“嵌入式系统建模与分析”等研究生课程中，在讲课时都不仅仅满足于教材上的传统讲解，而是引入了国际上最新的研究成果，通过生动的案例和直观的模型，让学生们仿佛置身于科学研究的最前沿。他鼓励学生提出质疑，勇于探索未知，这种开放包容的教学态度，极大地激发了学生的学习兴趣和创新思维。
在贺老师的眼里，每个学生都是独一无二的个体，值得被尊重和珍视。他擅长通过细微的观察，捕捉学生的情绪变化，及时给予关怀和帮助。他不仅会在学习和科研上给予同学们一对一的辅导，更会在心理和情感上给予安慰和鼓励。
贺老师以其深厚的学术造诣、高尚的为师品格、对学生无微不至的关怀以及因材施教的育人智慧，成为了“学高为师”的光辉典范。
贺老师在备课的照片
教益为友
贺飞老师作为未央-软件31班主任，利用暑期带领同学们前往湖南长沙开展思政实践。贺老师带大家了解自己的故乡，也参访了当地高校、企业及名胜古迹。贺老师精心为大家联系安排了几天的饮食，从辣度适中的湘菜到当地农家菜，让不太能吃辣的同学也体会到了长沙菜品的美味。
贺老师和未央班级同学们开展思政实践的照
育人为本
贺老师深信，每个学生都有其独特的天赋和潜能，关键在于如何发现和激发。因此，他始终坚持因材施教的原则，根据每位学生的特点和兴趣，制定个性化的科研和学习计划。在科研过程中，贺老师针对每位学生的个人兴趣、能力和知识体系，分配了不同的科研题目，在平时的讨论过程中也会采取不同的指导策略，不仅帮助学生们迅速解决了科研中遇到的问题，更重要的是，让学生们学会了如何自我分析、自我提升。
贺老师和课题组同学们开展秋游的照片
投票方式
清华大学第十九届“良师益友”评选活动复评投票阶段为11月4日至11月17日，每一位在学研究生（包含全日制和非全日制）可对校内任何一位正式提名教师进行投票，每一位在学研究生仅可以投出一票。
扫描下方二维码或点击文末“阅读原文”填写问卷进行投票。若多次填写问卷则以最新一次为准。
投票二维码
