Oregon Programming Languages Summer School 2019: Foundations of Probabilistic Programming and Security

2019 年俄勒冈编程语言暑期学校：概率编程和安全基础

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

This award provides student travel and subsistence for the 2019 Oregon Programming Languages Summer School (OPLSS). This summer school provides an important and valuable educational opportunity for students to study foundational topics related to programming languages and verification. The topics of this year's school are related to the foundations of probabilistic programming and security. The exploration of these topics is of extreme importance: probabilistic programs are now widely used in different areas of computing science including machine learning and statistical data analysis, while tools that guarantee the security of software are fundamental for building applications that are reliable and robust. 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 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 and security researchers and practitioners in both industry and academia. Around 20 students will be supported as part of this award.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.

该奖项为2019年俄勒冈州编程语言暑期学校（OPLSS）提供了学生旅行和自给自足。今年暑期学校为学生提供了重要而宝贵的教育机会，可以研究与编程语言和验证有关的基础主题。今年学校的主题与概率编程和安全性的基础有关。对这些主题的探索至关重要：概率程序现在广泛用于计算科学的不同领域，包括机器学习和统计数据分析，而保证软件安全性的工具对于可靠且稳健的构建应用程序至关重要。暑期学校的重要性和重要性包括在基础研究领域建立国际社会和合作，以及通过与领先的研究和研究人员的互动和互动来增强美国学生的教育，包括代表性不足的少数群体。通过支持美国的学生，学校将培训工业和学术界的下一代编程语言以及安全研究人员和从业人员。作为该奖项的一部分，将为大约20名学生提供支持。该奖项反映了NSF的法定任务，并被认为是值得通过基金会的知识分子优点和更广泛影响的评论标准来评估值得支持的。