返回导师列表
A

Alfie Cameron

教授

计算机科学与技术学院

形式化方法实验室A402
alfie.cameron@university.edu.cn
4.6
(12 评价)
指导学生6 人
状态可接受新学生

个人简介

类型论和量子计算专家，专注于形式化验证和量子计算接口设计，在数学游戏和AI应用方面有独特研究。

研究方向

类型论CoqAgda形式化验证量子计算可视化游戏数学游戏博弈论人工智能

教育背景

博士 - 计算机科学

知名大学

2011