希发基思

希发基思是国际公认的可信自主系统（TrustworthyAutonomousSystems）领域奠基性学者，2007年因在模型检测理论及应用方面的贡献荣获图灵奖，他同时担任中国科学院外籍院士、法国科学院院士、美国国家工程院院士等。

长期从事安全关键系统研究的希发基思指出，AI安全不仅是技术问题，也是责任与监管问题。