Verified Simulation for Large Quantum Systems (VSL-Q)

大型量子系统的验证仿真 (VSL-Q)

• 批准号: EP/Y005244/1
• 负责人: Mohammad Reza Mousavi
• 金额: $ 79.1万
• 依托单位: King's College London
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2023
• 资助国家: 英国
• 起止时间: 2023 至 无数据
• 项目状态: 未结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FY005244%2F1
• 关键词: Verified; Simulation; Large; Quantum; Systems

Programming classical computers has become a popular practice thanks to high-level programming languages and compilers which enable the runningof high-level programs on different computing platforms. For critical applications, we now have verified compilation schemes and certifiedcompilers which ensure the correctness of the compiled executions. This is done by reference to a mathematical model of the high-level code. Inthis project we will establish such a promising trajectory for quantum computing, taking into account the subtle features of quantum computers.This will be achieved by bringing together expertise in software testing and quantum simulation. The results of this research will lead to verified software for quantum computing applications and consequently, to wide-spread and effective exploitation of quantum computing.

编程经典计算机已经成为一种流行的做法，这要归功于高级编程语言和编译器，它们使得高级程序能够在不同的计算平台上运行。对于关键应用程序，我们现在已经验证了编译方案，并认证了编译器，以确保编译执行的正确性。这是通过参考高级代码的数学模型来完成的。在这个项目中，我们将考虑到量子计算机的微妙特征，建立一个如此有希望的量子计算轨迹。这将通过结合软件测试和量子模拟的专业知识实现。这项研究的结果将为量子计算应用提供经过验证的软件，从而使量子计算得到广泛而有效的开发。

项目成果

On Specifying for Trustworthiness

• DOI: 10.1145/3624699
• 发表时间: 2022-06
• 期刊: Communications of the ACM
• 影响因子: 22.7
• 作者: Dhaminda B. Abeywickrama;A. Bennaceur;Greg Chance;Y. Demiris;Anastasia Kordoni;Mark Levine;Luke Moffat-Luke

The Way We Were: Structural Operational Semantics Research in Perspective

• DOI: 10.4204/eptcs.387.3
• 发表时间: 2023-09
• 作者: L. Aceto;Pierluigi Crescenzi;A. Ingólfsdóttir;M. Mousavi

Accelerating Finite State Machine-Based Testing using Reinforcement Learning

使用强化学习加速基于有限状态机的测试

• DOI: 10.1109/tse.2024.3358416
• 发表时间: 2024
• 期刊: IEEE Transactions on Software Engineering
• 影响因子: 7.4
• 作者: Türker U