Computer scientist and Turing-awarded Prof. Joseph Sifakis visits Latzke’s Master Studio at the Shanghai Institute of Visual Arts