Short description: Create a language bridge between a formal verification language (Athena) and programming language (Elixir) to assure the correct execution of distributed systems

Short description: Analyzing structural and quality properties of software systems across programming languages.

Short description: Evaluating completeness of JavaScript programs based on a completeness enhancement of the points-to analysis

Short description: Create a rule language to verify norm specification compliance for bridge safety in Colombia

Short description: Implement different algorithms to automatically prove propositional logic formulas

Short description:

Short description: Type systems are used to assure behavior of a system. This project will tackle the consistency and interaction of dynamic behavior for adaptive systems

Short description: Efecto del detrimento de la calidad de señal de audio en modelos de anti-spoofing de voz

Short description: Introduction of DevOps practices in real world scenarios

Short description: Análisis de español antiguo, como las palabras cambias su significado con el tiempo

Short description: Busqueda de artículos de ropa por medio de interfaces gráficas, como fotos, dibujos o avatars.

Short description: Detectar automaticamente las medidas de las personas por medio de fotografías

Short description: Crear un buscador de moda que genera resultados precisos sobre los artículos de ropa deseados

Short description:

Short description: Implementación de redes de suministro humanitaria en casos de desastre teniendo en cuenta probabilidades dentro de la definición del grafo.

Short description: LLMs (modelos grandes de lenguage) para la generación de lenguaje llano

Short description: Se buscan estudiantes que quieran trabajar en bioinformática contribuyendo de diferentes maneras con el desarrollo del software NGSEP

Short description: Recomendación de referencias (citas) utilizando LLMs (large language models) y RAG (retrieval augmented generatio)

Short description: Build programming language abstractions to facilitate the development of RL-based programs

Short description: Detect points of failure for running programs and generate the infrastructure to fix them automatically

Short description: Extend the grammar of a mobile language to include features strictly related to the UI.

Short description: Detection of code clones across interface elements for Kotlin and Dart codebases

Short description: Build interactive 3D development environments