NSF Student Travel Grant for 2018 Oregon Programming Languages Summer School on Concurrency and Parallelism (OPLSS)

该奖项为2018年俄勒冈州编程语言暑期学校（OPLSS）的学生提供生活费。暑期学校为学生提供了一个重要而有价值的教育机会，让他们学习与编程语言、形式化方法和验证相关的基础主题。今年学校的重点是“并发性和并行性”。暑期学校的意义和重要性包括在基础研究领域建立国际社区和合作，以及通过接触前沿研究和研究人员，加强对美国学生（包括女性和未被充分代表的少数民族）的教育。通过支持美国学生，该学院将在产业界和学术界培养下一代编程语言、编译器和软件工程研究人员。该奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

This award provides student subsistence for the 2018 Oregon Programming Languages Summer School (OPLSS). The summer school provides an important and valuable educational opportunity for students to study foundational topics related to programming languages, formal methods, and verification. The focus of this year's school is "Concurrency and Parallelism". The significance and importance of the summer school include building international community and cooperation in foundational research areas, and enhancing education of US students, including women and underrepresented minorities, by exposure to and interaction with leading-edge research and researchers. By supporting US-based students, the school will thus train the next generation of programming languages, compilers and software engineering researchers in both industry and academia.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.