Grupos de investigación

Analizador de Artículos

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

BioLabs

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

Computación Simultánea

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

Física de astropartículas

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

Grupo de Neurodesarrollo y Neurofisiología

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

Grupo HoTT y Tipos Dependientes

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

Laboratorio de Algoritmos de Robots Móviles

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

Laboratorio de Herramientas de Colaboración Inteligente

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

Laboratorio de Lenguajes y Herramientas de Programación

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

Laboratorio de Verificación o Análisis de Programas

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

Laboratorios de IA

Investigación en IA básica y aplicada

Métodos de Machine Learning en Ingeniería de Software

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