This research focuses on improving the safety of software in critical systems like cars, medical devices, and aircraft. By combining mathematical verification with modeling and simulation, it aims to detect faults before deployment. The goal is to prevent catastrophic failures and ensure that life-critical technologies can be trusted.

This research improves drone-based search and rescue by creating networks of communicating drones that optimize data routing. Inspired by traffic flow, it minimizes delays by avoiding congested paths. Faster data transmission enables quicker detection and response, allowing larger areas to be searched efficiently and increasing the chances of saving lives.