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

Aplicaciones del Machine Learning y el Aprendizaje Profundo

Aplicaciones de técnicas de Machine Learning de última generación para gran variedad de problemas

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

Grupo de Bioinformática

Aplicación de métodos informáticos a problemas biológicos y médicos del mundo real

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 Criptográfico

El estudio y la aplicación de métodos criptográficos para la protección de la información

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 Algoritmos Parametrizados

Construir algoritmos exactos para problemas computacionales que supongan un reto mediante la comprensión cuidadosa de la estructura de una entrada típica

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 Investigación sobre Aprendizaje

Investigación longitudinal para descubrir qué factores ayudan a mejorar el rendimiento académico y tener éxito en las trayectorias de STEM

Laboratorio de Lenguajes y Herramientas de Programación

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

Laboratorio de Métodos de Física Nuclear

El laboratorio desarrolla instrumentos y métodos para la investigación de la física de partículas y otros campos similares

Laboratorio de Sistemas Ciberfísicos

Fundamentos teóricos, lenguajes y herramientas con el fin de desarrollar programas de control para sistemas ciberfísicos

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

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

Problemas de Optimización en la Ingeniería de Software

Resolver problemas de optimización en diferentes áreas de la ingeniería de software

Sistemas de Agentes y Aprendizaje por Refuerzo

Creación de nuevas formas de capacitar a los agentes de IA

Astroparticle Physics

Applying modern computing techniques to data analysis in astroparticle physics

Algorithms for Concurrent and Distributed Systems

Developing and analyzing algorithms for concurrent and distributed systems