Alumnos Memoristas de Pregrado Últimos 7 años
Participación como Profesor Guía
- Desarrollo de frontend web para proyectos de CC3002, 2026
- Tyger: un Acercamiento al Gradual Typing en Python, 2026
- Anonimización utilizando Abstract Interpretation, 2025
- Aplicación multiplataforma para la administración de información confidencial en cursos con salidas a terreno, 2025
- Desarrollo de una aplicación generadora de diagramas UML a partir de código fuente Scala, 2025
- Desarrollo e implantación de plataforma para la gestión de llamadas de servicio al cliente y mensajería en tiempo real con inteligencia artificial, 2025
- Estudio de lenguaje gradual con subtipos nominales, 2025
- Extensión de aplicación ERdoc, 2025
- Gradual Typing para Python: plugin para IDE, 2025
- Optimización y modernización de la infraestructura tecnológica de EmbedX con Kubernetes, 2025
- Typechecker enfocado a dimensionalidad de tensores: Soporte para NLP, 2025
- Extensión De EduCáncer Para Su Aplicación En Distintos Tipos De Cáncer, 2024
- Sistema de apoyo a la docencia y gestión de alumnos en cursos con metodologías grupales, 2024
- Diseño e implementación de sistema de autenticación de usuarios conectando bases de datos preexistentes, 2023
Participación como Presidente de Examen
- Transformación Integral de la Aplicación DataFeed, 2025
Participación como Profesor Co-guía
- Detección de vulnerabilidades de privacidad en la publicación de datos por parte de instituciones públicas, 2025
- Manteniendo la privacidad en los censos nacionales, 2025
- Tyger: una Herramienta de Tipado Estático Extensible para Python, 2025
- BusY - Sistema de visualización y análisis espacial de datos geo-referenciados de transporte público, 2024
- Sinopsis Privadas para Algoritmos de Clustering sobre Datos Dispersos, 2024
- Estudio e Implementación de un Lenguaje de Autorización para Bases de Datos Relacionales, 2023
- Gradual Sensitivity Types, 2021
- Countable Polymorphic May-Must Effects, 2020
Participación como Profesor Integrante
- Evaluating Gender Inclusiveness In Graphical User Interfaces, 2026
- Implementación de un Sistema de Formularios Dinámicos para la Plataforma Zimexa, 2026
- Sistema Inteligente de Gestión de Desempeño Estudiantil en Simuladores Virtuales: Caso de Estudio en Entrenamiento Quirúrgico, 2026
- Analítica de Datos Astronómicos Masivos Utilizando Bases de Datos Vectoriales, 2025
- Asistente Bio-Urbano: Soporte Asistido por IA para la Toma de Decisiones en el Desarrollo de Soluciones Basadas en la Naturaleza, 2025
- Desarrollo de herramienta de detección de anomalías viales y reporte de indicadores de movilidad mediante información GPS y estimación de velocidades de buses Red en tiempo real, 2025
- Diseño de un Modelo de Mecánicas de Videojuegos para el Desarrollo de Habilidades de Pensamiento Computacional, 2025
- Extensión al Editor de Layouts del Tablero Digital, 2025
- Keen: Kotlin Genetic Algorithms Framework, 2025
- Slicing Of Probabilistic Programs Based On Specifications, 2025
- A Coq Formalization Of RDF And Its Applications, 2024
- Aplicación Web Para Diseñar Bases de Datos, 2024
- Desarrollo de un sistema de análisis de registros DMARC, 2024
- Refinamiento de mallas poligonales por inserción de puntos, 2024
- Una nueva plataforma de datos para el Instituto Milenio Fundamentos de los Datos, 2024
- Divide and Conquer: An Extreme Multi-Label Classification Approach for Coding Diseases and Procedures in Spanish, 2023
- Interfaz web para analizar logs de uso de communication Board por varios sujetos, 2023
- Mejoramiento Automático de Mallas Compuestas de Unidades de Respuesta Hidrológica (URHs) Implementado en QGIS, 2023
- Sistema de Valorización de Instrumentos Derivados para una Fintec, 2023
- Sistema de conformación de equipos para Proyecto de Software, 2023
- Implementación de Leapfrog Triejoin sobre Estructura de Datos Compactas, 2022
Of. N308