Structures at the Interface of Physics and Computer Science

物理学和计算机科学交叉口的结构

• 批准号: EP/I03596X/1
• 负责人: Samson Abramsky
• 金额: $ 25.6万
• 依托单位: University of Oxford
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2011
• 资助国家: 英国
• 起止时间: 2011 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FI03596X%2F1
• 关键词: Structures; Interface; Physics; Computer; Science

This proposal aims to fund a network to support an emerging research community working at the interface of Computer Science, Physics and Mathematics. The common theme is the use of high-level mathematical structures such as Category Theory. These structures have already proved important in various specific areas within these disciplines. It has recently been becoming clear that they can be used in a unified and very powerful way, and that the same structures occur across these disciplines. This has led to a lot of exciting research, which has been bringing established researchers together, and attracting students and young researchers into the area.The aim of the network is to foster and support these activities, and to nurture the development of an emerging research community, centred in the UK, which is at the forefront of these exciting developments.We will do this by supporting regular meetings, providing travel money for young researchers to attend conferences and make research visits, and managing a strong web presence which can act as a hub for the community. This will help to make the UK attractive to the best researchers in the world on the topic of the network, and will enable it to take a leading role in future developments.

该提案旨在资助一个网络，以支持在计算机科学，物理学和数学接口工作的新兴研究社区。共同的主题是使用高级数学结构，如范畴理论。事实证明，这些结构在这些学科的各个具体领域都很重要。最近已经变得越来越清楚，它们可以以一种统一的、非常强大的方式使用，并且在这些学科中出现相同的结构。这导致了许多令人兴奋的研究，这些研究将知名研究人员聚集在一起，并吸引学生和年轻研究人员进入该地区。该网络的目的是促进和支持这些活动，并培育以英国为中心的新兴研究社区的发展，这是这些令人兴奋的发展的前沿。我们将通过支持定期会议，为青年研究人员参加会议和进行研究访问提供旅费，并管理一个强大的网络，作为社区的中心。这将有助于使联合王国吸引世界上最好的网络研究人员，并使其能够在未来的发展中发挥主导作用。

项目成果

Relational Databases and Bell's Theorem

关系数据库和贝尔定理

• 发表时间: 2012
• 期刊: CoRR
• 作者: Abramsky S

A Unified Sheaf-Theoretic Account Of Non-Locality and Contextuality

非局域性和情境性的统一层理论解释

• 发表时间: 2011
• 期刊: CoRR
• 作者: Abramsky S

Logical Bell inequalities

• DOI: 10.1103/physreva.85.062114
• 发表时间: 2012-06-20
• 期刊: PHYSICAL REVIEW A
• 影响因子: 2.9
• 作者: Abramsky, Samson;Hardy, Lucien
• 通讯作者: Hardy, Lucien

No-Signalling Is Equivalent To Free Choice of Measurements

无信号相当于自由选择测量

• DOI: 10.4204/eptcs.171.1
• 发表时间: 2014
• 期刊: Electronic Proceedings in Theoretical Computer Science
• 作者: Abramsky S

Contextuality from Quantum Physics to Psychology

从量子物理学到心理学的语境

• DOI: 10.1142/9789814730617_0002
• 发表时间: 2016
• 作者: Abramsky S