2024

Carrillo Redondo, Mario (2024)  Efficient polynomial evaluations with preprocessing and applications to cryptography.

Castellanos García, Pablo (2024) Automatic test-case generation for Haskell based on dependent types.

García Gil, Sinuhé (2024) Metamorphic testing in quantum computing.

Gómez Martínez, Javier (2024) Algebraic contingent payment and applications.

Kabtoul, Owayss (2024) Improving Circom compiler diagnostic messages through static análisis.

Luque Santamaría, Víctor (2024) Study and development of new functional syntactic extensions for Ciao Prolog.

Pantoja Sánchez, David (2024) Análisis de complejidad y resolución práctica del problema de clasificación de datos con características privada.

2023

Antón Fernández, Sara (2023) Algoritmos para el conjunto de mínima cobertura de las Redes de Petri.

De la Calle Montilla, Enrique (2023) Implementación y análisis de un motor de renderizado fotorrealista en SYCL, para arquitecturas heterogéneas.

2022

Blázquez Saborido, Jorge (2022) Verification of tree-like data structures with iterators in Dafny.

Coeurjoly Lechuga, Roland (2022) DDC: a declarative debugger for C++.

Enríquez Ballester, Adrián (2022) Program verification in Elixir.

Isasa Martín, Carlos Ignacio (2022) Computability-based analysis of market predictability.

Pastor Pérez, Paula Eugenia (2022) Verification of greedy algorithms in Dafny.

2021

Blessing, Jerry (2021) Automated synthesis of chatbots for configuring software product lines.

Chen, Shuting (2021) Simulating one-lane traffic flow based on GA and exploring the factors affecting efficiency.

Godoy Fresneda, Aitor (2021) Complejidad computacional de votaciones y pactos.

Hernández Cerezo, Alejandro (2021) Integrating the EVM super-optimizer gasol into real-world compilers.

Jurjo Rivas, Daniel (2021) Abstract domain for floating-point programs.

Rodríguez, Andoni (2021) The Temporal Booleanization Theorem: realizability checking over numerical-LTL industrial requirements.

2020

Carrero Aranda, Jonathan (2020) Estudio de propiedades de repartos con optimización de bienestar social igualitario.

García Navarro, Hermenegildo (2020) Design and implementation of the Circom 1.0 compiler.

Loscos Barroso, Daniel (2020) TGesting and profiling of regular type operations.

Rodríguez Núñez, Clara (2020) Analysis of “effectively callback freeness” for smart contracts.

2019

Benito Parejo, Miguel (2019) Selection of tests for finite state machines.

Ibias Martínez, Alfredo (2019) Using mutual information to select test suites in a black-box framework.