Dr. Joseph Sifakis, recipient of the 2007 A.M. Turing award visits ISIS on October 22, 2008.  Dr. Sifakis working independently from Edmund M. Clarke and E. Allen Emerson (co-recipients of the award)  made original and continuing research in a verification technology known as Model Checking. This fully automated approach that is now the most widely used verification method in the hardware and software industries has had major impact in complex system design by increasing the assurance that the systems perform as intended by the designers. Dr. Sifakis has founded and works at  VERIMAG, France.

Article by Joseph Sifakis: Component-based Construction of Heterogeneous Real-time Systems in BIP