C’est une problématique qui est encore largement du domaine de la recherche, avec toutefois une forte implication d’industriels, notamment Philips ou Google, et de très nombreux brevets déposés. Les applications sont nombreuses et vont du magnétoscope numérique intelligent, à la gestion d’archives de télévision, en passant par la vérification de la diffusion des publicités.
Joseph Sifakis a remporté le prix Turing 2007 qui est l’une des plus hautes distinctions scientifiques en informatique. Ce prix est souvent considéré comme l’équivalent du prix Nobel pour les informaticiens.
BumpTop est un prototype d’environnement de bureau qui cherche à reproduire avec fidélité les manipulations d’un bureau du monde réel.
