NSF Student Travel Grant for 2020 Computer-Aided Verification (CAV)

这项旅行津贴支持15名美国学生参加将于2020年7月19日至24日在加利福尼亚州洛杉矶举行的第30届计算机辅助验证(CAV)会议。CAV是形式验证领域的主要会议之一，致力于推动硬件和软件系统的计算机辅助形式分析和综合方法的理论和实践的发展。会议涵盖了从理论结果到具体应用的各个领域，重点是实用的验证工具以及实现这些工具所需的算法和技术。这项旅行补助金将为在美国和/或美国公民的研究生提供职业发展和学习机会。参加像CAV这样的会议是未来计算机科学研究人员研究生院教育的重要组成部分。学生有机会用正式的方法与世界一流的研究人员讨论前沿研究，并建立网络、联系和指导关系，这将在他们的研究生涯中为他们提供良好的服务。该项目旨在增加来自代表性不足群体和较小教育机构的学生的参与，为他们提供平等的机会。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

This travel grant provides support for 15 US-based students to attend the 30th Conference on Computer-Aided Verification (CAV) to be held in Los Angeles, California on July 19-24 2020. CAV, one of the premier conferences in formal verification, is dedicated to the advancement of the theory and practice of computer-aided formal analysis and synthesis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.This travel grant will enable career development and learning opportunities for US-based and/or US-citizen graduate students. Attending conferences like CAV is an important component of graduate school education for future computer-science researchers. Students have the opportunity to discuss leading-edge research with world-class researchers in formal methods, and establish networks, connections, and mentoring relationships that will serve them well during their research careers. This project aims at increasing the participation of students from underrepresented groups and those from smaller institutions of education, to provide them with equal opportunities.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.