希发基思教授

希发基思教授是可信人工智能与复杂系统领域的重要开创者之一，长期致力于复杂智能系统的安全性、可靠性与可验证性研究，其成果被广泛应用于航空航天、工业控制等安全攸关领域。