Joseph Sifakis

Principal co-inventor of model checking, an algorithmic technique for verifying computing systems. His work transformed this approach from a theoretical technique to a highly effective technology that enables hardware and software engineers to find errors efficiently in complex systems. This has resulted in increased assurance that systems perform as intended by designers, and has had a major impact on designers and manufacturers of software and semiconductor chips, who face a technology explosion where products of unprecedented complexity have to operate as expected. His work enabled these industries to shorten time to market and greatly increase product integrity.