Hussein Zedan
Papers
1
Total Citations
6
H-Index
1
About
Hussein Zedan is a distinguished computer scientist whose research centers on formal methods, real-time systems, and provably correct software engineering. His work bridges the gap between theoretical verification and practical implementation, particularly in safety-critical domains such as robotics and embedded systems. Zedan’s major contribution lies in pioneering "lean" formal methods—streamlined mathematical frameworks that make rigorous verification accessible for complex, resource-constrained systems. His seminal 1998 paper, "Designing a provably correct robot control system using a ‘lean’ formal method," demonstrates how to achieve correctness guarantees without the overhead of traditional heavyweight approaches, earning 6 citations as a foundational reference in the field. Beyond this, Zedan has advanced the temporal logic of reactive systems and co-developed tools for automated verification, influencing both academic research and industrial practice. His work has been recognized through leadership roles in international conferences and collaborations on safety-critical projects. For students and researchers, Zedan’s legacy offers a compelling model: how to make formal methods practical enough to ensure reliability in the real world, from robotic controllers to embedded software.
Research Focus
Key Achievements
Top Papers
- 1