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

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

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 métodos informáticos a problemas biológicos y médicos del mundo real

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

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

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

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

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

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

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

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

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

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

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

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

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

Applying modern computing techniques to data analysis in astroparticle physics

Developing and analyzing algorithms for concurrent and distributed systems