Grupos de investigación
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