课题基金 / 基金详情

NSF Student Travel Grant for 2021 Programming Languages Mentoring Workshop at POPL (PLMW@POPL)

NSF Student Travel Grant for 2021 Programming Languages Mentoring Workshop at POPL (PLMW@POPL)
NSF 学生旅费补助金用于 2021 年 POPL 编程语言指导研讨会 (PLMW@POPL)
批准号:
2041337
负责人:
Stephanie Balzer
金额:
$2.34万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2020
资助国家:
美国
项目状态:
已结题
起止时间:
2020-10-01 至 2023-09-30

项目摘要

项目成果

Stephanie Balzer的其他基金

相似基金

相关文献

中文摘要
翻译
该奖项旨在支持美国学生参与编程语言指导研讨会(PLMW),该研讨会是ACM SIGACT-SIGPLAN编程语言原理研讨会(POPL)的一部分,该研讨会是编程语言理论的首要会议。该活动将于2021年1月在丹麦哥本哈根举行。该奖项专门支持来自代表性不足群体的学生,并优先考虑美国公民和永久居民参加除了POPL会议之外的辅导研讨会。该奖项的影响涉及到扩大参与计算,为学生提供机会,接受来自领先的研究人员的指导,并建立下一代的研究人员和知识渊博的从业人员与专业知识的编程语言理论。学生参加PLMW研讨会与支持,从这个补助金将听取著名的研究人员在该领域谈论的最新趋势,并从这些演讲者和其他导师那里获得一对一的指导,以研究和追求他们的职业抱负。该奖项反映了NSF的法定使命,并通过使用基金会的智力价值和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
This award seeks to support U.S. student participation in the Programming Languages Mentoring Workshop (PLMW), being organized as part of the ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), the premier conference on programming language theory. The event is in Copenhagen, Denmark in January 2021. This award specifically supports students from underrepresented groups and gives priority to US citizens and permanent residents to attend the mentoring workshop in addition to the POPL conference. The impact of the award relates to broadening participation in computing, providing opportunities for students to receive mentoring from leading researchers, and building the next generation of researchers and knowledgeable practitioners with expertise in programming languages theory.Students attending the PLMW workshop with support from this grant will hear eminent researchers in the field talk about the latest trends in the field, and get one-on-one mentoring from these speakers and other mentors in research and pursuing their career aspirations. The connections formed at this event will help create lasting connections between researchers and students, thereby shaping emerging innovations in computer programming languages.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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: SHF: Medium: Integrated Verification of IoT and Real-time Communication Protocols
  • 批准号:
    2211996
  • 项目类别:
    Standard Grant
  • 资助金额:
    $62.5万
  • 财政年份:
    2022
  • 负责人:
    Stephanie Balzer
  • 依托单位:
海外基金