卓越教育者奖

由ACM SIGPLAN颁发，以表彰杰出的教育对编程语言社区的贡献。奖项表彰对ACM SIGPLAN及其会议的贡献，出版物或其当地活动。该奖项包括$2,500.

我们从最广义上定义贡献。我们特别希望认识到：

  • 关于编程语言的教育学
  • 使用新颖编程语言思想的教育学
  • 广义的教育学：
    • 课程和交付
    • 教室（学校、本科生、研究生）
    • 在线课程
    • 在线博客/视频等。

关于杰出教育者奖的所有问题都应该是指导SIGPLAN奖联合主席。

提名

请使用http://awards.sigplan.org/提交提名。将考虑在1月15日或之前提交的提名当年获奖。杰出教育工作者奖提名未被选中的将继续考虑总共三个年。在任何一年，最多只会选出一名提名（如果没有候选人足够强大，那一年不应该有奖项）。

每项提名应包括以下项目：

  • 候选人的姓名、所属单位、电话号码和电子邮件地址推荐获奖者（提名人）。
  • 此人的姓名、隶属关系、电话号码和电子邮件地址提名（提名人）。
  • 一份简短的声明，解释为什么被提名人应该获得奖励。这应该包括有关帮助奖项委员会了解其重要性。
  • 提名人认为5-10人的姓名和电子邮件地址将支持提名。颁奖委员会至少会要求其中三个人的意见。

候选人可以同时获得其他奖项的提名，例如获得ACM Karl V.Karlstrom杰出教育家奖。

委员会

获奖者由以下组成的委员会选出：

  • 委员会主席应为SIGPLAN的成员执行委员会（EC），并应由执行官任命委员会。
  • SIGPLAN EC主席应为委员会的前任成员。如果SIGPLAN EC主席不能任职，他或她可以任命SIGPLAN EC的另一个成员作为替代。
  • SIGPLAN主要会议的指导委员会，POPL，PLDI、ICFP和SPLASH应各自任命一名成员委员会。

当前委员会包括：

利益冲突

如果委员会的任何成员与给定的被提名人应向委员会宣布；一旦宣布，利益冲突不应自动阻止委员会成员不参与选拔过程。但是，如果成员委员会或委员会主席认为委员会成员与提名人的联系会干扰对被提名人的公正考虑，该冲突成员应没有参加讨论的相关部分。如果委员会成员与一个以上的提名人，主席有利益冲突委员会主席可要求任命委员会的选区成员以选择替换成员。SIGPLAN EC主席将根据需要作出裁决。

收件人

2023凯西·菲斯勒（Kathi Fisler）和克里希纳穆斯（Shriram Krishnamurthi）

引用：

Fisler和Krishnamurthi教授在对程序设计语言的持续教学贡献过去二十年。他们都有很长的历史记录成为SIGPLAN PL教育的社区领导者，从写作为CS做出重大贡献的著名教科书课程指南。。和Emmanuel Schanzer一起Bootstrap是一个使用功能的国家计划的联合创始人将数据科学和计算集成到数学中的编程，科学和社会研究课程…总之，他们的创新工作为新一代计算机科学家铺平了道路和教师，并帮助使计算机教育更加对所有人来说都是容易接近、吸引人和有效的。

  • 遴选委员会：伊塞尔·迪利格、格雷厄姆·赫顿、阿拉斯泰尔·唐纳森、伊丽莎·冈萨雷斯-波伊克斯、杰里米·吉本斯

2021本杰明·皮尔斯

引用：

本杰明·皮尔斯是一位绝对杰出的教育家和导师。本杰明热衷于为学生提供最清晰的解释最有见地的练习，他孜孜不倦地创作他们。本杰明对编程语言教育的贡献无论是对使用他的书的学生还是对老师来说都是鼓舞人心的。他的类型和《编程语言》一书，涵盖了系统F的非类型lambda演算，2002年出版的子类型、对象、可变状态和递归类型，广泛用于高级本科生和研究生级别的课程。这个在本杰明之前出版的书都是针对更数学化的受众；本杰明从程序员开始。它的继任者，高级类型本杰明编辑的《编程语言》深入探讨了：子结构逻辑、逻辑关系、依赖类型、模块系统，和类型推断。这些教科书结合在一起展示了程序设计语言研究的基础无障碍通道。最近，本杰明的教育贡献转向在线，转向新颖且非常成功的软件基金会系列。这些卷，写得又清楚又好可访问性，解释逻辑和编程语言的基础语义通过形式验证的透镜。部分教材和部分交互式证明脚本，他们使用Coq定理证明器作为工具学生学习命题逻辑、归纳原理、霍尔逻辑和lambda演算，以及许多其他主题。作为宾夕法尼亚大学软件基金会提供的课程已经发展成为一个协作的、多机构的社区努力。本杰明也是一位善良、细心的导师，慷慨、鼓励通过DeepSpec暑期学校和PL辅导研讨会。