Collaborative Research: Verification Mentoring Workshop at Computer Aided Verification 2019-2021

协作研究：2019-2021 年计算机辅助验证验证指导研讨会

• 批准号: 1905145
• 负责人: Loris DAntoni
• 金额: $ 3.32万
• 依托单位: University of Wisconsin-Madison
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2019
• 资助国家: 美国
• 起止时间: 2019-05-01 至 2022-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1905145&HistoricalAwards=false
• 关键词: Collaborative; Research; Verification; Mentoring; Workshop

This grant will enable students to attend the Verification Mentoring Workshop (VMW 2019) which will be co-located with the International Conference on Computer Aided Verification (CAV), to be held in New York City, July 23-26, 2019. CAV is one of the premier conferences in computer science, dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The purpose of Verification Mentoring Workshop is to provide mentoring and career advice to early-stage graduate students, to attract them to pursue research careers in the area of computer-aided verification. Funded students will benefit greatly from the opportunity to engage in the critical technical, professional, and social exchanges that both conferences foster.Computer-aided verification covers a broad range of applications, from ensuring the correctness and safety of computer systems, to improving design and development productivity. The funded students will attend CAV, a top conference where they will learn about current research problems and interact with leaders in the field, and the VMW workshop which will focus on mentoring and career advice specific to early-stage graduate students who aim to pursue research careers in the area of computer-aided verification.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.

这笔赠款将使学生能够参加验证指导研讨会 (VMW 2019)，该研讨会将于 2019 年 7 月 23 日至 26 日在纽约市与国际计算机辅助验证会议 (CAV) 同期举行。CAV 是计算机科学领域最重要的会议之一，致力于推进硬件和软件系统的计算机辅助形式分析方法的理论和实践。验证指导研讨会的目的是为早期研究生提供指导和职业建议，吸引他们从事计算机辅助验证领域的研究职业。受资助的学生将有机会参与这两个会议所促进的关键技术、专业和社会交流，从而受益匪浅。计算机辅助验证涵盖了广泛的应用，从确保计算机系统的正确性和安全性，到改进设计和发展生产力。受资助的学生将参加 CAV，这是一个顶级会议，他们将在其中了解当前的研究问题并与该领域的领导者互动，以及 VMW 研讨会，该研讨会将侧重于针对旨在从事研究的早期研究生的指导和职业建议该奖项反映了 NSF 的法定使命，并通过使用基金会的智力优点和更广泛的影响审查标准进行评估，被认为值得支持。