Project Grant 2337667

Award Date 6/1/24
Completion Date 5/31/29
Dollars Obligated $306K
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Arlington, TX 76019, USA
Similar Awards
The University of Texas at Arlington (UTA) received a $221,791 Project Grant award from the National Science Foundation's STEM Education program (CFDA 47.076) to develop computational thinking integration resources and professional development for elementary school teachers. Over four years, UTA will directly engage 135 teachers and indirectly impact approximately 12,000 students. UTA will establish a community of practice for teachers and design at least 120 standards-aligned lesson plans...
The University of Texas at Austin has been awarded a $875,000 Project Grant from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to develop "Performance Verification", a suite of automated reasoning tools that can evaluate the performance of complex networked systems. The project aims to create a formal modeling and specification framework to model networked systems and specify performance properties, enabling...
The University of Texas at Arlington (UTA) received a $499,968 Project Grant award from the National Science Foundation (CFDA 47.076 STEM Education) to implement strategies that foster engineering identity and improve retention and graduation rates for mechanical and aerospace engineering students, especially those from Hispanic-serving institutions. The key products and services include: Implementing collaborative learning through in-class peer-led team learning and collaborative learning...
This Project Grant from the National Science Foundation's Computer and Information Science and Engineering program ($489,946) supports research from October 1, 2022 to September 30, 2025. The grant to The University of Texas at Arlington funds development of incremental analysis techniques for evolving software specification models. The award aims to improve the efficiency of re-running different types of analysis on updated formal models, such as Alloy models, to increase the feasibility of...
The University of Texas at Arlington received a $174,978 Project Grant award from the National Science Foundation under the Computer and Information Science and Engineering program (CFDA 47.070). The grant supports research titled "Sustaining Cognitive Flow in Physical Making" from June 1, 2021 to May 31, 2023. The project aims to advance the development and use of research cyberinfrastructure to enable and accelerate discovery and innovation in computing, communications, and...
The University of Texas at Arlington (UTA) received a $299,632 Project Grant award from the National Science Foundation (NSF) Engineering program (CFDA 47.041) to develop a reliable and efficient LIUTEX-based sub-grid model for Large Eddy Simulation (LES) of turbulent flows. The project aims to (1) create a new LIUTEX-based sub-grid model, (2) develop a dynamic LIUTEX-based sub-grid model, (3) test the new models in various computational fluid dynamics cases, and (4) evaluate the performance...
The University of Texas at Arlington (UTA) received a $537,442 project grant award from the National Science Foundation Division of Mathematical Sciences under the Mathematical and Physical Sciences program (CFDA 47.049) to establish the UTA Research Training Group. Through this five-year award ending August 2028, UTA will train nine undergraduates, six Ph.D. students, and two postdoctoral researchers in mathematical modeling applied to human health topics. Trainees will conduct...
The University of Texas at Arlington (UTA) received a $812,417 Project Grant award from the National Science Foundation Division of Computer and Network Systems under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The grant funds the development of an enhanced open networked airborne computing platform to facilitate advanced research and applications in airborne computing. Key deliverables include hardware and software upgrades to support distributed...
The University of Texas at San Antonio was awarded a $240,000 project grant from the National Science Foundation Division of Undergraduate Education under the federal STEM Education program (CFDA 47.076) to develop an educational tool called EVIDENT to improve concurrent computer programming instruction. Over three years, the University will create a debugging tool with reverse execution capabilities, develop visualizations of program execution order, and study the tool's effectiveness in...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) award provides $227,500 to the University of Texas at Arlington (UTA) from October 1, 2024 to July 31, 2027. The grant supports the development of an accelerated computation architecture for state modeling techniques and their application to critical smart environment applications. The key products of this research project include: Efficient computation...

The University of Texas at Arlington (UTA) was awarded a $305,648 Project Grant by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program. The grant, awarded on June 1, 2024, supports the development of a new model development environment that combines live programming innovations with modeling languages to provide contextualized feedback during software model development. The project aims to lower the barrier for entry into software modeling and aid formal methods education. Key deliverables include new tools that suggest edits to complete formulas, help users explore the impact of edits on model scenarios, and enable output-directed debugging to refine underlying software models. These live programming interfaces will also form the basis for an interactive learning environment for mathematical logic to improve formal methods education at both the undergraduate and graduate level. The project is scheduled for completion by May 31, 2029.

Generated 8/13/24, 3:50 AM