Turing Preisträger Joseph Sifakis besucht Latzke´s Master Studio in Shanghai
Shanghai, 16. März 2012
Der französisch-griechische Informatiker und Turing Preisträger Dr. Joseph Sifakis besuchte Rainer Maria Latzke’s Master Studio am Shanghai Institute of Visual Art. Dr. Sifakis ist Kommandant in der französischen Ehrenlegion und Träger der CNRS-Silbermedaille 2001. Er arbeitet in Grenoble für das von ihm mitgegründete Verimag-Labor des Centre national de la recherche scientifique. Dort ist er
Forschungsleiter im Bereich verteilte und komplexe Systeme, und forscht insbesondere an komponentenbasiertem Design, Modellierung und Analyse von Echtzeitsystemen, mit Fokus auf Correct-by-construction-Techniken. Außerdem ist er Leiter des CARNOT-Instituts für intelligente Software und Systeme in Grenoble, und einer der Vorsitzenden von ARTEMISIA, dem Industrieverband innerhalb der europäischen Embedded-Systems-Technologieplattform ARTEMIS. Er ist für seine bahnbrechenden Arbeiten in der Entwicklung von Modellen
von Hard-und Software-Designs bekannt und trug wesentlich zum Aufkommen der Modellprüfung und deren Verbreitung in der Industrie bei.
Dr. Sifakis war sehr interessiert in Latzke’s Errungenschaften in der Kombination von Computertechnik und Kunst. Beide führten eine lebhafte Diskussion über die Zukunft und die Integration moderner Computertechnologien insbesondere beim Einsatz von neuen Vervielfälltigungsmethoden in der Kunst.
