2012–2016 牛津大学计算机科学博士学位。论文:重写上下文无关的弦图系列。指导老师:Samson Abramsky、Bob Coecke 和 Aleks Kissinger。考官:Sam Staton(内部)和 Reiko Heckel(外部)。2011–2012 牛津大学计算机科学硕士学位(优异)。重点研究分类量子力学和计算机辅助形式验证。论文:一种面向量子秘密共享的抽象方法。指导老师:Bob Coecke。2008–2011 不来梅雅各布大学数学学士、计算机科学学士。计算机科学和数学双学位。
14.78 Penrose, Roger: Shadow of the Spirit, Paths to a new physics of consciousness ............................................................................................................................................................................................................................................................. 118 14.80 Pinzani, Nicola and Gogioso, Stefano and Coecke, Bob: Categorical Semantics for Time Travel ........................................................................................................ .................................................................................................. 119 14.82 Porter, Bill: The mountains guard the secret - encounters with Chinese hermits ................................................................................................................................................................................... ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ & Fictions ..................................................................................................................................................... 120 14.86 Robbins, Tom: Pan Aroma (1984, English.14.78 Penrose, Roger: Shadow of the Spirit, Paths to a new physics of consciousness ............................................................................................................................................................................................................................................................. 118 14.80 Pinzani, Nicola and Gogioso, Stefano and Coecke, Bob: Categorical Semantics for Time Travel ........................................................................................................ .................................................................................................. 119 14.82 Porter, Bill: The mountains guard the secret - encounters with Chinese hermits ................................................................................................................................................................................... ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ & Fictions ..................................................................................................................................................... 120 14.86 Robbins, Tom: Pan Aroma (1984, English.原始标题:jitterbug香水)............................................................................................................................................................................................................................................................................................................................................................................................. 121 14.87 ROBINSON,SPIDER:CALLAHAN SALOON的时间旅行者。嘿,科幻小说与幻想#4321 ....................................................................................................................................................................................................................................................................................................................................................... 121 14.88 ROBINSON,SPIDER:仅适用于时间旅行者对酒吧:Callahan Saloon的另一个晚上。
高中生在牛津大学研究生量子考试中取得优异成绩:支持量子图像主义的实验证据 - Bob Coecke(Quantinuum,英国)、Aleks Kissinger(牛津大学,英国)、Stefano Gogioso(牛津大学,英国)、Selma Dündar-Coecke(Quantinuum,英国)、Caterina Puca(Quantinuum,英国)、Lia Yeh(牛津大学,英国)、Muhammad Hamza Waseem(牛津大学,英国)、Vincent Wang(Quantinuum,英国)、Sieglinde M.-L. Pfaendler(IBM,瑞士)、Emmanuel Pothos(伦敦城市大学,英国)、Thomas Cervoni(Quantinuum,英国)、Ferdi Tomassini(Quantinuum,英国)、Vincent Anandra(Quantinuum,英国)、Peter Sigrist 和 Ilyas Khan(Quantinuum,英国)
近年来,量子计算引起了广泛关注。其基本思想是利用量子力学的力量来解决计算问题(Shor,1999;Nielsen 和 Chuang,2002)。虽然某些量子算法可以成为经典算法的更快替代方案(Biamonte 等人,2017;Arute 等人,2019),但量子物理的数学框架也已用于认知(Busemeyer 和 Bruza,2012)、优化(Soleimanpour 等人,2014)和其他学科。在自然语言处理 (NLP) 领域,量子力学近年来的研究兴趣激增,解决了从词汇语义模糊性(Meyer and Lewis,2020 年)到语义组合(Coecke 等人,2020 年)以及从信息检索(Jiang 等人,2020 年)到文本分类(Zhang 等人,2021 年)等各种问题,其中量子物理的不同特性启发了新算法。尽管其研究文献不断增加,但尚未有调查对量子 NLP 领域进行综述和分类。最相关的调查是关于量子启发的信息检索(Uprety 等人,2020 年;
该项目的目标是应用类别理论的强大数学语言,以重新形成并最终统一每个现有意识的主要理论。这将为这些理论提供一个统一的观点,这些理论在数学上是严格的且在概念上有良好的动机。以及此项目,该项目旨在培养一个新成长的关于数学,尤其是Cate-Cate的国际研究界,以解决思维关系。近年来,类别理论的应用导致了计算机科学,生物学,认知和尤其是物理学的革命性项目。在后者中,类别的使用导致了一种新的图形形式主义来推理量子信息过程,由我们的Pi Bob Coecke开创,并随后由我们团队的其他成员应用,以产生量子理论本身的完整AxioMatiation [1,9,9,32,38]。该过程理论的图形框架,也称为对称的单体类别,现在正在量子设置内部和外部应用于广泛的主题,包括自然语言处理和认知[11]。在这个项目中,我们的目标是将这些21世纪的数学工具应用于所有科学的最基本主题之一:意识的本质。尽管历史上一直存在该主题,但在过去的三十年中,越来越多的研究人员社区不仅包括哲学家和神经科学家,而且数学家,计算机科学家和物理学家,已经开始解决这个问题,并且已经建立了许多新的新科学科学理论。到目前为止,意识理论最有前途,最成功的理论之一是由Giulio Tononi和合作者开发的综合信息理论(IIT)[37,33]。在最近的工作中,我们团队的成员采用了分类技术来提供对IIT的深度数学研究[29,39]。这项工作为理论及其中心算法提供了清晰的重新重新制定,旨在捕获物理系统有意识的体验的质量以及其数量或“φ值”。虽然IIT以前仅针对相当简单的古典系统制定,但这项工作允许该理论扩展到更一般的物理设置。
