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

NSF 学生旅费资助 2018 年俄勒冈编程语言并发与并行暑期学校 (OPLSS)

• 批准号: 1832506
• 负责人: Zena Ariola
• 金额: $ 2.5万
• 依托单位: University of Oregon Eugene
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-06-01 至 2019-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1832506&HistoricalAwards=false
• 关键词: NSF; Student; Travel; Grant; 2018

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.

该奖项为2018年俄勒冈州编程语言暑期学校（OPLSS）提供学生生活费。暑期学校为学生提供了一个重要而宝贵的教育机会，学习与编程语言，形式化方法和验证相关的基础主题。今年学校的重点是“并发性和并行性”。暑期学校的意义和重要性包括建立国际社会和基础研究领域的合作，并通过接触和与前沿研究和研究人员的互动来加强美国学生的教育，包括妇女和代表性不足的少数民族。通过支持美国的学生，学校将因此培养下一代的编程语言，编译器和软件工程研究人员在工业界和学术界。这个奖项反映了NSF的法定使命，并已被认为是值得的支持，通过评估使用基金会的智力价值和更广泛的影响审查标准。