Travel and Registration Support for Computer Aided Verification 2015

该奖项将用于学生参加2015年第27届计算机辅助验证(CAV)国际会议的旅费。会议将于2015年7月18日至24日在加利福尼亚州旧金山举行。支持学生出差参加专业会议和研讨会是NSF的一项非常重要的使命。核查技术正迅速部署在学术研究和工业系统的各个领域。因此，更广泛的意义和重要性包括培养这一研究领域的下一代研究人员，以及提供国际经验来建设一支具有全球意识的劳动力队伍。特别是，学生将有机会学习最先进的方法，接触新技术，并与其专业领域的资深研究人员互动。

This award will support student travel to the 2015 27th International Conference on Computer Aided Verification(CAV). The conference will be held in San Francisco, California on July 18-24 2015. Supporting student travel to attend professional conferences and workshops is a very important mission of the NSF. Verification technology is being rapidly deployed in a variety of areas both in academic research as well as in industrial systems. Thus the broader significance and importance includes fostering the next generation of researchers in this research area, as well as providing international experiences to build a globally-aware workforce. In particular, students will have the opportunity to learn state-of-the-art methodologies, be exposed to novel techniques, and interact with senior researchers in their areas of expertise.