REU Site: Declarative Approaches to Knowledge Intensive Applications

这笔资金在德克萨斯理工大学建立了一个新的本科生研究经验（REU）网站。该网站的目的是激励和培养一群本科生成为计算机科学领域的研究人员或工程师。为此，该网站的重点是利用现代陈述性问题解决技术来解决网络安全、能源、医疗保健和太空探索等领域的应用。该研究由经验丰富的教师团队领导，将为学生提供理论和实践技能的平衡，以及指导和专业发展机会。该网站招收了各种各样的学生，包括女性、拉丁裔学生、第一代学生和来自历史上的黑人学院和大学的学生。该提案的智力价值在于由经验丰富的导师团队提供的领导，他们在研究领域具有出色的专业知识和经验。该站点的重点是在以下研究领域的应用程序中使用声明性编程。第一个项目是设计能够在不断变化的环境中理性行动的智能代理。第二个研究项目与医疗保健有关，学生开发一个机械化系统，根据临床实践指南向医生提供治疗建议。第三个研究项目是在网络安全领域，学生开发工具，保证企业应用程序和云交易满足适当的安全和隐私政策。第四个研究项目是在能源感知计算领域，学生在移动设备的软件组件中制定功耗要求。最后的项目是在天文软件领域。在这个项目中，学生研究如何在安全约束和偏好的前提下，有效地操作国际空间站的太阳能电池阵列。更广泛的影响集中在为多样化的本科生提供机会上，目的是激励他们继续研究生学习。项目活动使学生获得宝贵的技能，对研究有更广泛和更深入的了解，并对自己的能力有更大的信心。这些研究项目是在具有国家重要性的领域，这些专题的技术进步有可能促进基础设施建设，从而改善生活质量。评估计划和数据管理计划应有助于教育研究的有效结构，使本科生参与研究。

This funding establishes a new Research Experience for Undergraduate (REU) site at the Texas Tech University. The site's aim is to inspire and prepare a group of undergraduate students for a career as a researcher or engineer in the broad area of computing science. To this end, the site's focus is on utilizing modern declarative problem solving techniques to tackle applications in areas such as Cybersecurity, Energy, Healthcare and Space Exploration. The research is led by an experienced team of faculty that will offer a balance of theoretical and practical skills, as well as mentoring and professional development opportunities for students. The site recruits a diverse pool of students including women, Latino/a students, first generation students, and students from a historically black college and university.The intellectual merit of the proposal lies with the leadership provided by an experienced team of mentors with excellent expertise and experience in the research areas. The site focuses on the use of declarative programming in applications in the following research areas. The first project is in the design of intelligent agents capable of acting rationally in a changing environment. The second research project pertains to healthcare, where students develop a mechanized system that provides treatment recommendations to doctors, using clinical practice guidelines. The third research project is in the area of cybersecurity, where students develop tools that guarantee that enterprise applications and cloud transactions satisfy appropriate security and privacy policies. The fourth research project is in the areas of energy-aware computing, where students formulate power consumption requirements in software components of mobile devices. The final project is in the domain of astronomical software. In this project students investigate techniques on how to operate solar arrays in the International Space Station in an effective manner, subject to safety constraints and preferences. The broader impacts center on the opportunities provided to a diverse pool of undergraduates, with the aim to inspire them to pursue graduate studies. The project activities permit students to acquire valuable skills, gain a broader and deeper understanding of research, and develop greater confidence in their abilities. The research projects are in areas of national importance and the technical advances in these topics have the potential to boost basic infrastructure leading to improvement of the quality of life. The evaluation plan and the data management plan should contribute to educational research on effective structures for involving undergraduate students in research.