简短的生物

我是一名助理教授数学与计算机科学学院在爱丁堡的赫里奥瓦特大学。在赫里奥特·瓦特之前,我是德国图凯泽斯劳滕的博士后研究员。我拥有牛津大学的哲学博士学位,利物浦大学的硕士学位,以及塞普鲁-诺彭伯理工学院的理学学士学位。

研究兴趣

我目前的研究是使用形式化技术来验证和推理由多个自利智能体组成的系统。它结合了形式验证、逻辑、自动机理论和博弈论的方法。工作记录在平衡验证环境网站.

新闻

  • 8月22日:加入爱丁堡赫里奥瓦特大学,任助理教授。
  • 1月22日:我们的研究项目概率多智能体学习环境下的最优决策已获得德国学术交流局(DAAD)资助的澳德联合研究合作计划。(与Anthony W.Lin、Julian Gutierrez和Frits de Nijs(莫纳什大学))。
  • 3月20日:我的博士论文多智能体系统中的理性验证“已经存放在博德莱恩图书馆牛津大学研究档案馆.
  • 12月19日:我通过了博士学位论文。我感谢我的考官阿莱西奥·洛穆西奥卢克·翁有价值的反馈。