News

Latest News Highlights

August 7, 2025

[Award# 2525849] NSF Funding ($364,155)

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]

Dr. Bineet Ghosh serves as a joint Repeatability Evaluation Chair

HSCC/ICCPS,
CPS-IoT Week.
2026

Social Media Posts:       [LinkedIn]       [Instagram]       [X]       [Facebook]

January 10, 2024

Dr. Bineet Ghosh (Director & PI) named a Hewson Engineering Faculty Fellow!

College of Engineering
The University of Alabama

Social Media Posts:           [Tweet]           [LinkedIn]           [Facebook]           [Instagram]

News

September 3, 2025

Dr. Ghosh serves as a joint Repeatability Evaluation Chair at HSCC/ICCPS 2026!

Social Media Posts:           [LinkedIn]           [Instagram]           [Facebook]           [X]

August 4, 2025

Our paper got accepted in Allerton 2025!

July 25, 2025

Our paper got accepted in TCRS 2025!

July 15, 2025

Our paper got accepted in FDL 2025!

Social Media Posts:           [LinkedIn]           [Instagram]           [Facebook]           [X]

July 11, 2025

Our paper got accepted in EMSOFT 2025!

June 16, 2025 - June 20, 2025

Dr. Ghosh presented our paper at FORTE 2025 (In-Person)

Lille, France.

[Photos]

April 5, 2025

Our paper received Artifact Evaluation Badges in FORTE 2025!

April 5, 2025

Our paper got accepted in FORTE 2025!

March 28, 2025

TurtleBot3 Burger arrives in our lab!

March 25, 2025

PiRacer Pro arrives in our lab!

January 31, 2025

We are allocated Cyber Hall (CYB) 3033 as our lab space!

It's finally AutMn at UA!

September 8, 2024

Our paper got accepted in ICAA 2024!

September 6, 2024

Our paper got accepted in WUWNet 2024!

August 16, 2024

Prachi Bhattacharjee started her PhD!

March 2, 2024

Our poster/demo got accepted in IEEE/ACM ICCPS 2024!

March 2, 2024

Our poster/demo got accepted in IEEE/ACM ICCPS 2024!

February 20, 2024

Our paper got accepted in IEEE/ACM ICCPS 2024!

January 10, 2024

Dr. Bineet Ghosh (Director & PI) named a Hewson Engineering Faculty Fellow!

College of Engineering
The University of Alabama

Social Media Posts:           [Tweet]           [LinkedIn]           [Facebook]           [Instagram]

October 25, 2023

Our paper got accepted in Real-Time Systems (TIME) 2023!

October 23, 2023

Our paper got accepted in LMCS 2023!