Supervised Theses

PhD Theses

• Análisis estático de tipos para lenguajes de tipado dinámico  🇪🇸
  Gorka Suárez García
  Cosupervised by Francisco Javier López-Fraguas
  Defended: May 2022
  View

MSc Theses

• Diseño e implementación de un DSL para programación lógica en Elixir 🇪🇸
  Miguel Emilio Ruiz Nieto
  Defended: September 2023
  View
• Formal verification of dynamic programming algorithms with Dafny 🇬🇧
  Daniel Trujillo Viedma
  Cosupervised by Clara Segura
  Defended: September 2023
• Specification and verification of WebAssembly programs 🇬🇧
  David Munuera Mazarro
  Defended: June 2023
  View
• Program Verification in Elixir 🇬🇧
  Adrián Enríquez Ballester
  Defended: June 2022
  View
• Verification of tree-like data structures with iterators in Dafny 🇬🇧
  Jorge Blázquez Saborido
  Cosupervised by Clara Segura
  Defended: June 2022
  View
• Verification of Greedy Algorithms in Dafny 🇬🇧
  Paula Eugenia Pastor Pérez
  Cosupervised by Clara Segura
  Defended: June 2022
  View
• Development of an Automated Migration Strategy from JSP to JSF 🇬🇧
  Santiago Bermúdez Fortes
  Defended: June 2020
  View
• Generación automática de puertos en Erlang 🇪🇸
  Fernando Suárez Jiménez
  Defended: September 2018
  View
• Implementación de algoritmos distribuidos en Erlang para comunicaciones en redes de procesos 🇪🇸
  Xu Han
  Cosupervised by Jaime Sánchez
  Defended: September 2015
  View

BSc Theses

• Aplicación web para el soporte al Aprendizaje-Servicio: gestión de proyectos 🇪🇸
  Feiyun Ye, Shuyi Wang, Carlos García Vaquero
  Cosupervised by Simon Pickin
  Defended: June 2023
  View
• Integración de Qwizer con Moodle 🇪🇸
  José Luis Bartha de las Peñas, Vicentiu Tiberius Roman
  Defended: June 2023
  View
• Plataforma e-commerce e infraestructura interna profesional No.Studio 🇪🇸
  Matteo Enrico Isnenghi Tamayo
  Defended: February 2023
  View
• Aplicación web para el soporte al Aprendizaje-Servicio 🇪🇸
  Adrian Dorta Yagüe, Yrving David Conde Cubas, Sergio Arroyo Galán
  Cosupervised by Simon Pickin
  Defended: June 2022
  View
• Aplicación web progresiva para la realización de cuestionarios 🇪🇸
  Zakaria El Fakhri Ouajih, Pedro Martínez Gamero
  Defended: June 2022
  View
• Generador de retroalimentación detallada para DomJudge 🇪🇸
  Félix Redondo Manzanares, Ricardo Enrique Freire Sacco, Adrián González Cabanillas, Erik Karlgren Domercq
  Cosupervised by Enrique Martín
  Defended: June 2022
  View
• Juez multilenguaje para el aprendizaje de la programación 🇪🇸
  Pablo Morientes Lavín, Víctor Manuel Cavero Gracia, Marta Estévez Bravo
  Cosupervised by Enrique Martín
  Defended: June 2022
  View
• Aplicación web de soporte al Aprendizaje-Servicio: gestión de ofertas y demandas de servicio 🇪🇸
  Victoria Gnatiuk Romaniuk, Daniela-Nicoleta Boldureanu, Jesús Sánchez Granado
  Cosupervised by Simon Pickin
  Defended: June 2021
  View
• Verification of linked data structures in Dafny 🇬🇧
  Jorge Blázquez Saborido
  Cosupervised by Clara Segura
  Defended: June 2021
  View
• Aplicación para niños con problemas de accesibilidad y aprendizaje 🇪🇸
  Amador Moreno Manzanaro Ranchal
  Defended: February 2021
  View
• Interfaces gráficas de usuario con Elixir 🇪🇸
  Ignacio Nicolás López
  Defended: June 2020
  View
• Diseño de interfaces gráficas de usuario para Progress 🇪🇸
  Ricardo Caballero Sánchez, Adrián Díaz Jiménez
  Defended: June 2020
  View
• Gestor de contenidos para administración de web corporativa 🇪🇸
  Carlos Arroyo Aguilera
  Defended: June 2019
  View
• Aplicación web para la gestión y búsqueda de eventos 🇪🇸
  Rafael Gómez Bermejo
  Defended: June 2018
  View
• Desarrollo de una aplicación multiplataforma para la búsqueda y gestión de recetas 🇪🇸
  Alejandro Montero Roldán, Carlos Martínez Gutiérrez, Javier Vicente Cano
  Defended: June 2018
  View
• Asistente de corrección y validación de ejercicios 🇪🇸
  Laura Hernando Serrano, Daniel Rossetto Bermejo
  Cosupervised by Santiago Saavedra
  Defended: June 2017
  View
• Implementación de un gestor de bases de datos orientado a objetos 🇪🇸
  Víctor Delgado Fernández, Carlos Fernández Bravo, Álvaro Isabel Torija
  Defended: June 2017
  View
• Simulador de escáner de rayos X: creación y análisis de imágenes 🇪🇸
  Jefferson Cárdenas Carrillo, Luis Redruello Fernández
  Defended: September 2016
  View
• Interacción y manipulación de estructuras de datos complejas en VizHaskell 🇪🇸
  David Bolaños Calderón, Lidia Marcela Flores Tuesta
  Defended: June 2016
  View
• Sistema de creación de tutoriales interactivos para el aprendizaje de lenguajes de programación 🇪🇸
  Rafael Caturla Torrecilla, Carlos Congosto Sandoval
  Cosupervised by Enrique Martín
  Defended: June 2016
  View
• GTGMobile: gestor de tareas para dispositivos móviles 🇪🇸
  Elena González Rubio
  Defended: June 2016
• Aplicación social de gestión, visualización y análisis estadístico de cuestionarios 🇪🇸
  Adrián Bernabé Vírseda, Enrique Delgado Solana, Jesús Vázquez Pigueiras
  Cosupervised by Enrique Martín
  Defended: June 2015
• Comparador de Java y Python para DuoCode 🇪🇸
  David García Domínguez, Ángel Villalba Fernández Paniagua
  Cosupervised by Adrián Riesco
  Defended: June 2015
• Visualización gráfica de tipos de datos Haskell 🇪🇸
  Roberto Aragón Pividal, Mª Rosario Baena Priego
  Defended: June 2014
  View