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

Short description: Review of existing techniques for language to language translations

Short description: Build a grammar and parser for the Rust programming language.

Short description: Formal verification of function distribution using pass-by-move semantics in actor systems

Short description: Desarrollo de algoritmos de procesamiento de lenguaje natural!

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

Short description: Develop a linear type system in gleam to be used in the development of Quantum computing programs

Short description: Build a grammar and parser for the C programming language.

Short description: Build programs on real programming languages for actual quantum computers

Short description: Build interactive 3D development environments

Short description:

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

Short description:

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

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

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

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

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: Análisis de español antiguo, como las palabras cambias su significado con el tiempo

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

Short description:

Short description: TAD-ah is a new language implementation based on Abstract Data Types (ADTs) that does not have null

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: Build programs on real programming languages for actual quantum computers

Short description: Evaluation of transfer learning algorithms to enable robot behavior in different unknown scenarios (unknown actions, unknown rewards)

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:

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

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

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