RI: Small: Formalized Autonomous Planning from High-Level Task Descriptions in Natural Language
Robust Intelligence (RI).
Division of Information & Intelligent Systems (IIS),
National Science Foundation (NSF).
Hongsheng He (PI), Bineet Ghosh (Co-PI)
Award Number: 2540740.
Amount: $600,000.
Time Period: July 15, 2026 - June 30, 2029 (Estimated).
Social Media Posts:
[Instagram]
[LinkedIn]
[X]
[Facebook]
SCoE CORE Equipment Grant
College of Engineering, The University of Alabama.
Amount: $30,000.
Time Period: 2026.
NSF CISE REU Student Funding Award
Directorate for Computer and Information Science and Engineering (CISE).
National Science Foundation (NSF).
Sole PI: Bineet Ghosh.
Award Number: Associated with 2525849.
Amount: $10,000.
Time Period: 2026.
/CPS_Monitoring_25/
Social Media Posts:
[Instagram]
[LinkedIn]
[X]
[Facebook]
CPS: Small: Uncertainty-Aware Monitoring of Autonomous Cyber-Physical Systems: Offline and Online Safety Analysis with Hybrid Formal and Non-Formal Models
Cyber-Physical Systems (CPS),
Division of Computer and Network Systems (CISE/CNS).
National Science Foundation (NSF).
Sole PI: Bineet Ghosh.
Award Number: 2525849.
Amount: $364,155.
Time Period: January 1, 2026 - December 31, 2028 (Estimated).
/CPS_Monitoring_25/
Social Media Posts:
[Instagram]
[LinkedIn]
[X]
[Facebook]
Hewson Engineering Faculty Fellow
College of Engineering, The University of Alabama.
Amount: $5000/year.
Time Period: 2024-2027.
Social Media Posts:
[Instagram]
[LinkedIn]
[X]
[Facebook]