Joseph Sifakis
A Greek-French computer scientist who independently co-invented Model Checking, providing a crucial formal method for the design of complex systems.
Key facts
- Role
- Inventor
- Nationality
- Greek-French
- Born
- 1946
A Greek-French computer scientist who independently co-invented Model Checking, providing a crucial formal method for the design of complex systems.