我是谁？
我目前是阿巴契亚州立大学的博士后研究员大学计算机科学系。以前，我有曾在丹麦奥胡斯大学担任研究员挪威卑尔根大学。
我的研究兴趣包括范畴逻辑，同伦代数、拓扑理论与单叶基础数学方面。
我目前正在研究GADT的范畴语义对参数的关注。
我还参与了合作写作这本书对称(
,
)，其目标是处理群理论及其单价类型理论中的副产品。
我于2018年12月7日在Universiteé为我的博士论文辩护巴黎第七大学（现巴黎城市大学）。它是联合监督的通过保罗·安德烈梅利斯（巴黎城市大学IRIF）和克莱门斯·伯杰（尼斯大学J.A.Dieudonne实验室）。查找更多信息我的信息研究页面.
有关的更多信息我的个人简历.