Richard Banach
Papers
2
Total Citations
13
H-Index
2
About
Richard Banach is a leading researcher in formal methods, system verification, and cyber-physical systems, with a particular focus on safety-critical and autonomous technologies. His major contributions center on the development and application of rigorous mathematical frameworks—such as Event-B and refinement-based modeling—to ensure correctness in complex, real-time systems. Banach’s work has been instrumental in advancing the design of dependable embedded systems, where formal verification guarantees reliability under uncertainty. Notably, his research on the INSPEX project (2017–2019) demonstrates the translation of automotive-grade obstacle detection into portable, wearable assistive devices for visually impaired users, integrating multi-sensor fusion and low-power design. While his most-cited papers in this domain have garnered modest citation counts (6–7 each), their impact lies in bridging theoretical formal methods with tangible, life-enhancing applications. Banach’s broader portfolio, including seminal works on hybrid systems and action systems, has influenced fields from autonomous navigation to medical device safety. His achievements include leadership in EU-funded projects and contributions to the B-Method community, making him a key figure in ensuring that tomorrow’s autonomous systems are both intelligent and provably safe.
Research Focus
Key Achievements
Top Papers
- 1
- 2