项目介绍
Dr. Cornish 是南洋理工大学 (NTU) 计算与数据科学学院的助理教授。此前，他曾在牛津大学 (Oxford) 统计系担任研究员，并在该校完成了博士后研究和博士学位。他还联合创办了一家名为 Quro Medical 的医疗技术公司，该公司在南部非洲开展远程患者监护业务。Dr. Cornish 对人工智能安全以及构建稳健可靠的机器学习系统很感兴趣。
他曾研究过的一些课题包括，生成模型、几何深度学习、因果推断、不确定性量化。在这些主题中，他特别关注从业者可以在最小假设下应用的方法，尤其关注复杂和安全攸关的环境，在这些环境中，更复杂的假设可能难以证明其合理性。Dr. Cornish 也对开发更好的工具来描述和推理人工智能系统本身很感兴趣。
目前，我们在人工智能研究中使用的数学语言通常与最终实现的实际代码相去甚远。这使得开发过程复杂化，限制了自动化，并且难以判断代码的正确性。他希望利用应用范畴论、编程语言、逻辑和证明辅助工具中的工具来改进这一点。
所属院系：南洋理工大学，计算与数据科学学院
项目时长：4 年申请要求和方式
申请要求：·在数学、统计学和/或计算机科学领域拥有扎实基础；·与导师及研究组有相近或相同的研究兴趣。
申请方式：通过导师邮箱进行联络，发送简历、申请信和其他辅助材料，通过双向选择后，向学校递交申请。
