Herramienta basada en el aprendizaje profundo para la extracción de conocimiento de artículos biomédicos científicos

Descubrir los mecanismos fundamentales de regulación epigenética y su papel en la diferenciación celular y el envejecimiento

Desarrollar, verificar, probar y comparar algoritmos simultáneos modernos

Aplicación de técnicas informáticas modernas al análisis de datos en física de astropartículas

Modelo de simulación del desarrollo de tejidos nerviosos y procesos celulares implicados

Creación de un lenguaje tipado según la teoría de tipos de homotopía

Desarrollar algoritmos de autoorientación para un robot móvil y resolver el problema del SLAM

Estudiar procesos colaborativos en motores de búsqueda y más para habilitar herramientas de colaboración de próxima generación

Apoyar la investigación fundamental en lenguajes y herramientas de programación

Aplicación de métodos formales en el desarrollo de software para la creación de herramientas basadas en el análisis estático, la verificación y la transformación de programas

Investigación en IA básica y aplicada

Combinar las mejores prácticas de ambas áreas para crear nuevas formas de desarrollo y mejora del código