AutoCode
Financiado
Programming with Big Code
Software synthesis aims to automate the creation of software by generating parts of software from a higher-level description. Until recently it was believed to be impossible to practically synthesize software beyond very small fra...
ver más
31/10/2018
TECHNION ISRAEL I...
150K€
Presupuesto del proyecto: 150K€
Líder del proyecto
TECHNION ISRAEL INSTITUTE OF TECHNOLOGY
No se ha especificado una descripción o un objeto social para esta compañía.
TRL
4-5
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-10-31
ERC-PoC-2016:
ERC-Proof of Concept-2016
Cerrada
hace 8 años
Información adicional privada
No hay información privada compartida para este proyecto. Habla con el coordinador.
2 Participantes
675.61K€ |
Participante
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
EXPLOSYN
Exploratory Program Synthesis
2M€
Cerrado
IMPRO
Implicit Programming
1M€
Cerrado
SYMCAR
Symbolic Computation and Automated Reasoning for Program Ana...
2M€
Cerrado
PADECL
Advanced Program Analysis Using Declarative Languages
100K€
Cerrado
CONAN
Model Checking and Synthesis for Concurrent Software
100K€
Cerrado
BIGCODE
Learning from Big Code Probabilistic Models Analysis and S...
2M€
Cerrado