Memorias y Tesis Últimos 7 años
Participación como Profesor Guía
- Desarrollo de una aplicación generadora de diagramas UML a partir de código fuente Scala, 2025
- Optimización y modernización de infraestructura tecnológica con Kubernetes, 2025
- Desarrollo e integración de sistemas para la mejora de la atención al cliente mediante micreoservicios de chatbot, telefonía voip u sistema de tickets, 2025
- Formalización enfocada a operaciones de tensores PyTorch, 2025
- Detección de vulnerabilidades de privacidad en la publicación de datos por parte de instituciones públicas, 2025
- Tyger una herramienta de tipado estático extensible para Python, 2025
- Extensión de EduCáncer para su aplicación en distintos tipos de cáncer, 2024
- Estudio de un lenguaje gradual con subtipos nominales, 2024
- Sistema de apoyo a la docencia y gestión de alumnos en cursos con metodologías grupales, 2024
- Estudio e implementación de un lenguaje de autorización para bases de datos relacionales, 2023
- Diseño e implementación de sistema de autenticación de usuarios conectando bases de datos preexistentes, 2023
- Gradual system F, 2022
- Gradual sensitivity types, 2021
- Countable polymorphic may-must effects, 2020
Of. N308