REU Site: Declarative Approaches to Knowledge Intensive Applications

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

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.