Hazem Torfah
Papers
1
Total Citations
5
H-Index
1
About
Hazem Torfah is a leading researcher in the formal verification and safe design of cyber-physical systems (CPS), with a particular focus on runtime assurance and autonomous systems. His most notable contribution is the development of **ULGEN**, a pioneering runtime assurance framework that generalizes the Simplex architecture to program safe CPS. This work, published in 2023 and already garnering 5 citations, introduces a modular approach where systems are built from asynchronous processes executing runtime assurance modules—a paradigm shift that enables provably safe yet flexible autonomous behavior. Torfah’s research bridges formal methods, control theory, and software engineering, addressing critical challenges in safety-critical domains like autonomous driving and robotics. Beyond ULGEN, his broader portfolio includes work on monitoring, synthesis, and verification of temporal logic properties for CPS. His contributions are shaping how engineers design systems that must guarantee safety even under uncertainty, making him a key voice in the next generation of trustworthy autonomous technologies.
Research Focus
Key Achievements
Top Papers
- 1