This research investigates zinc batteries as a safer, cheaper alternative to lithium batteries. By studying the microscopic passive layer formed between zinc and electrolyte, it identifies mechanisms that improve performance and prevent failure. The work aims to enable more reliable, ethical, and fire-safe energy storage technologies through detailed materials analysis.

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.