College of Engineering,
The University of Alabama.
2026
RI: Small: Formalized Autonomous Planning from High-Level Task Descriptions in Natural Language.
Hongsheng He (PI), Bineet Ghosh (Co-PI).
Time Period: July 15, 2026 - June 30, 2029 (Estimated).
Social Media Posts:
[LinkedIn]
[Instagram]
[X]
[Facebook]
Sole PI: Dr. Bineet Ghosh.
Time Period: 2026.
 /CPS_Monitoring_25/
Social Media Posts:
[LinkedIn]
[Instagram]
[X]
[Facebook]
CPS: Small: Uncertainty-Aware Monitoring of Autonomous Cyber-Physical Systems: Offline and Online Safety Analysis with Hybrid Formal and Non-Formal Models.
Sole PI: Dr. Bineet Ghosh.
Time Period: January 1, 2026 - December 31, 2028 (Estimated).
 /CPS_Monitoring_25/
Social Media Posts:
[LinkedIn]
[Instagram]
[X]
[Facebook]
HSCC/ICCPS,
CPS-IoT Week.
2026
Social Media Posts:
         
[LinkedIn]
         
[Instagram]
         
[Facebook]
         
[X]
College of Engineering
The University of Alabama
Social Media Posts:
         
[X]
         
[LinkedIn]
         
[Facebook]
         
[Instagram]
Hongsheng He (PI), Bineet Ghosh (Co-PI)
Social Media Posts: [LinkedIn] [Instagram] [X] [Facebook]
Hongsheng He, Kaushik Roy, Bineet Ghosh (Co-PI), et al.
Sole PI: Bineet Ghosh.
Social Media Posts: [LinkedIn] [Instagram] [X] [Facebook]
Social Media Posts:           [LinkedIn]           [Instagram]           [Facebook]           [X]
Social Media Posts:           [LinkedIn]           [Instagram]           [Facebook]           [X]
Sole PI: Bineet Ghosh.
Social Media Posts: [LinkedIn] [Instagram] [X] [Facebook]
Social Media Posts:           [LinkedIn]           [Instagram]           [Facebook]           [X]
Lille, France.
[Photos] College of Engineering
The University of Alabama
Social Media Posts:           [Tweet]           [LinkedIn]           [Facebook]           [Instagram]