中国科学院外籍院士、法国Verimag实验室荣誉科研主任、南方科技大学计算机科学与工程系杰出教授、图灵奖获得者Joseph Sifakis教授进行了题为《Testing System Intelligence》的报告分享。