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

FVNLC

Financiado

Cerrado

Formal verification and neural lossless compression

Techniques based on neural networks (NNs), the study of which is often referred to as ‘deep learning’, have recently been shown to be extremely effective as a basis for data compression systems. I will develop the new field of ‘ne... ver más

31/08/2025

UvA

Presupuesto desconocido

Líder del proyecto

UNIVERSITEIT VAN AMSTERDAM 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 HORIZON EUROPE notifico la concesión del proyecto el día 2023-09-01

HORIZON-MSCA-2021-PF-01-01: MSCA Postdoctoral Fellowships 2021 ExpectedOutcome:

I+D

Cerrada hace 3 años

0% 100%

Información adicional privada

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

Participantes

UvA

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

AISTREAM AI based video compression for emerging technologies 4M€ Cerrado

RTC2019-007434-7 Framework para la evaluación de la calidad de imágenes para... 405K€ Cerrado

EQC2018-004236-P Infraestructura de captura, procesamiento, visualización y e... 217K€ Cerrado

OPT-PCC Optimized Dynamic Point Cloud Compression 112K€ Cerrado

TEC2015-69266-P TECNOLOGIAS DE APRENDIZAJE PROFUNDO APLICADAS AL PROCESADO D... 247K€ Cerrado

PID2020-113656RB-C22 COMPUTACION Y COMUNICACIONES DE ALTAS PRESTACIONES CONSCIENT... 198K€ Cerrado

Duración del proyecto: 23 meses Fecha Inicio: 2023-09-01
Fecha Fin: 2025-08-31

Líder del proyecto

UNIVERSITEIT VAN AMSTERDAM No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

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

Descripción del proyecto Techniques based on neural networks (NNs), the study of which is often referred to as ‘deep learning’, have recently been shown to be extremely effective as a basis for data compression systems. I will develop the new field of ‘neural compression’, which has emerged around these ideas, focussing primarily on lossless compression in the two directions which I believe are most important:Scale: NNs go hand in hand with parallel hardware, and I will investigate new parallel compression algorithms for efficiently compressing huge quantities of data. Specifically, I will develop two entirely new compression paradigms: Firstly, compression of volumetric images using generative models based on 3D convolutions, applied to medical imaging, where teleradiology and new cloud-based analysis make the need for efficient compression particularly acute. And secondly, compression of audio and video using time-series latent variable models, known as ‘state space models’, which offer uniquely efficient utilization of parallel hardware.Systems: I will research, design and implement a domain specific language (DSL) for concisely expressing codecs which are guaranteed to be lossless by construction. Until now, implementations of compression systems always separate the implementation of the encoder from the decoder, and rely on an ad-hoc debugging and testing process to ensure that data are recovered correctly. During my PhD, I discovered that it is sometimes possible for a computer to automatically convert an encoder function into a decoder, and vice versa, potentially halving the amount of code. I will explore the limits, in terms of flexibility and efficiency, of this novel idea, using insights from ‘automatic differentiation’, a related functional transformation, on which I am a leading expert.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores