Student Travel Support for the FMCAD Student Forum 2017;Vienna, Austria; October, 2017

2017 年 FMCAD 学生论坛的学生旅行支持；奥地利维也纳；

• 批准号: 1743689
• 负责人: Warren Hunt, Jr.
• 金额: $ 1万
• 依托单位: University of Texas at Austin
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2017
• 资助国家: 美国
• 起止时间: 2017-10-01 至 2018-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1743689&HistoricalAwards=false
• 关键词: Student; Travel; Support; FMCAD; Forum

This proposal supports student travel to attend the 2017 Formal Methods in Computer Aided Design (FMCAD) to be held in Vienna, Austria in October 2017. FMCAD 2017 is one of the leading conferences on theory and applications of formal methods in hardware and system verification. It provides a forum to researchers in academia and industry for presenting ground-breaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. This travel grant will enable career development and learning opportunities for US-based and/or US citizen graduate students. Attending conferences is an important component of graduate school education for our society's future computer security researchers. Students have the opportunity to discuss leading edge research with world-class computer security researchers, and establish networks, connections, and mentoring relationships that will serve them well during their research careers.

该提案支持学生参加2017年10月在奥地利维也纳举行的2017年计算机辅助设计正式方法（FMCAD）。FMCAD 2017是硬件和系统验证中形式化方法的理论和应用的领先会议之一。它为学术界和工业界的研究人员提供了一个论坛，用于展示突破性的方法，技术，理论结果和正式推理计算系统的工具。这项旅行补助金将为美国和/或美国公民研究生提供职业发展和学习机会。参加会议是我们社会未来计算机安全研究人员研究生院教育的重要组成部分。学生有机会与世界一流的计算机安全研究人员讨论前沿研究，并建立网络，连接和指导关系，这将在他们的研究生涯中为他们提供良好的服务。