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

Walgo

Financiado

Cerrado

What is an Algorithm? Extensional and Intensional Equivalences between Programs

"Programs and Functons both have a mathematically sound definition. Every programmer has an informal idea of what an Algorithm is, yet no formal definition exists and this idea is likely to differ from one person to the other. Des... ver más

31/08/2017

UCPH

200K€

Presupuesto del proyecto: 200K€

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 2017-08-31

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

I+D

Cerrada hace 10 años

0% 100%

Características del participante

Este proyecto no cuenta con búsquedas de partenariado abiertas en este momento.

Información adicional privada

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

1 Participantes

UCPH

200.19K€ | Lider

Proyectos interesantes

BES-2016-077328

Software

Computer Scienc...

93K€ Cerrado

FORMATH

Software

Data Science

2M€ Cerrado

MTM2010-16051

Software

Data Science

59K€ Cerrado

MTM2017-88796-P

Software

Data Science

74K€ Cerrado

FRESCO

Software

Data Science

2M€ Cerrado

MTM2013-40455-P

Software

Data Science

90K€ Cerrado

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

Duración del proyecto: 29 meses Fecha Inicio: 2015-03-02
Fecha Fin: 2017-08-31

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 200K€

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

Descripción del proyecto "Programs and Functons both have a mathematically sound definition. Every programmer has an informal idea of what an Algorithm is, yet no formal definition exists and this idea is likely to differ from one person to the other. Despite their lack of definition, Algorithms are central in Computer Science. Thus, finding a correct definition is a major modern challenge. This question is not new and has already been studied by many. It is unlikely that we can close it within a two years timeframe. Yet we have identified two novel ideas to attack the problem along three tracks of increasing difficulty thus ensuring results that will drive a future long term project. The main idea is to avoid a direct confrontation with the definition of Algorithm. We consider ""being the same algorithm"" as an equivalence between programs and we study the set of all possible equivalences. This will allow the use of the full mathematical arsenal, from set and order theory to algebra and topology, and guide future researches. The second idea is to allow algorithms to be an infinite object, thus opening more possibilities. The Researchers already has a permanent Lecturer position. The fellowship will create the condition for defending the Habilitation thesis and thus reach a position of full professorship with a long term research program based on the results obtained."

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores