Joseph Sifakis

Sifakis was born in Heraklion, Greece, and is best known for developing the idea of model checking.
Model checking is a method to verify algorithmically whether a model of a system meets a given specification
He was appointed as a Research Director of the VERIMAG Laboratory, which he founded in 1993 and is a leading research centre for embedded systems.
He was awarded the AM Turing Award in 2007.

Author: Sara Singh (2021) LJMU Student

Cookie settings