Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

ReACT

Financiado

Cerrado

A Realizability Approach to Complexity Theory

"Complexity theory concerns fundamental questions on the mathematics of computer science about the amount of resources needed to run programs or solve problems. The ReACT project will build on recent work in realizability models f... ver más

27/03/2018

UCPH

212K€

Presupuesto del proyecto: 212K€

Líder del proyecto

KOBENHAVNS UNIVERSITET No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2018-03-27

MSCA-IF-2014-EF: Marie Skłodowska-Curie Individual F...

I+D

Cerrada hace 10 años

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

1 Participantes

UCPH

212.19K€ | Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

HARMONIC Discrete harmonic analysis for computer science 1M€ Cerrado

QuantOrder Finding Order in Large scale Structures by Quantum Computing 140K€ Cerrado

CNS2023-145392 Ciencias de la computación y tecnología informática 399K€ Cerrado

QNets Open Quantum Neural Networks from Fundamental Concepts to I... 1M€ Cerrado

PAnaMoL Proof theoretic Analysis of Modal Logics 178K€ Cerrado

QUARC QUARC-BEYOND QUANTUM ADVANTAGE: A PRACTICAL AND UNCONDITIONA... 190K€ Cerrado

Duración del proyecto: 36 meses Fecha Inicio: 2015-03-04
Fecha Fin: 2018-03-27

Líder del proyecto

KOBENHAVNS UNIVERSITET No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 212K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto "Complexity theory concerns fundamental questions on the mathematics of computer science about the amount of resources needed to run programs or solve problems. The ReACT project will build on recent work in realizability models for linear logic to provide new characterizations of existing complexity classes. The end goal is to enable researchers to attack long-standing open problems in complexity theory by using mathematical techniques, tools and invariants from operators algebras and dynamical systems. The ""complexity-through-realizability"" techniques developed by the ReACT project will provide a unified framework for studying many computational paradigms and their associated computational complexity theory grounded on well-studied mathematical concepts. This will allow for comparison of complexity classes defined from different computational paradigms (e.g. sequential and quantum computation), as well as establish a theory of complexity for computational paradigms lacking such (e.g. concurrent processes). The ""complexity-through-realizability"" approach stems from established logical-based approaches of complexity theory and inherits their strengths. It furthermore improves crucially over them as it builds upon state-of-the-art theoretical results on realizability models for linear logic using well-studied mathematical concepts from operators algebras and dynamical systems. As a consequence, it opens the way to the use against the open problems of the discipline the many techniques, tools and invariants that were developed in these mathematical disciplines. The ReACT project has two objectives. The first objective aims at establishing this new approach to complexity as an emerging and promising field of study which generalizes and extends previous techniques. The second objective is to investigate investigating how the mathematical methods and techniques derived from of our approach can be used to attack long-standing open problems in complexity theory."

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores