Alumnos Memoristas de Pregrado Últimos 7 años
Participación como Profesor Guía
- Slicing Of Probabilistic Programs Based On Specifications, 2025
- Sinopsis Privadas para Algoritmos de Clustering sobre Datos Dispersos, 2024
- Automatización de planificación para huertas orgánicas, 2023
- Estudio e Implementación de un Lenguaje de Autorización para Bases de Datos Relacionales, 2023
- Automatización del Análisis del Tiempo de Ejecución de Programas Probabilísticos, 2022
- Planificador de Compras Colaborativas, 2021
- Desarrollo de una Herramienta para la Calendarización de Evaluaciones Universitarias, 2020
Participación como Profesor Co-guía
- Easy Written Exam: Plataforma para facilitar el diseño, la entrega y la evaluación de exámenes en línea escritos, 2022
- Desacoplamiento de Aplicación Monolítica en Microservicios y Micro Frontends, 2021
- Diseño de un Entorno de Programación Interactiva Controlado por Joy-Cons, 2021
- GNN Based Source Code Summarization, 2021
- Herramienta para Análisis de Programas Desarrollados en SCRATCH, 2021
- Detector de CRISPR en Genoma de Bacterias, 2020
- Elección de Vocales de Mesa con Aleatoriedad Verificable, 2019
- HUNTER: Una Plataforma de Reingeniería para JavaScript, 2019
Participación como Profesor Integrante
- Estudio de lenguaje gradual con subtipos nominales, 2025
- Mejoramiento del sistema de predicción de tiempo de llegada de la aplicación Red Regional, 2025
- A Coq Formalization Of RDF And Its Applications, 2024
- Cybersickness en diferentes técnicas de movimiento para realidad virtual, 2024
- Detección de Unit Test Smells de C# en Visual Studio, 2024
- Optimizing 2-Way Regular Path Queries In Graph Databases With Leapfrog Triejoin, 2024
- Prototipo de ambiente de realidad aumentada con incorporación de sistema de programación por bloques para promover competencias ligadas a pensamiento computacional en niños y niñas, 2024
- Sistema Comunitario de Prevención, Detección y Seguimiento de Filtraciones de Correos Electrónicos Mediante un Proxy de Correos Temporales, 2024
- Agregando Búsquedas Sobre Colecciones Genómicas en Formato VCF, 2023
- Análisis de seguridad de redes asociadas a establecimientos de educación superio, 2023
- Consolidación espacial y temporal para capturas de sistemas robóticos, 2023
- Desarrollo de sistema de visualización por computadora para red de sensores en procesos mineros basado en Internet Industrial de las Cosas (SV-IIoT), 2023
- Extensión de la Plataforma de Monitoreo de la Docencia del DCC, 2023
- Herramienta Generadora de Triangulaciones y Visualizador Web, 2023
- Implementación de modelos de IA y tasks en DashAI, 2023
- Adaptación y extensión de implementación de un algoritmo para generar mallas poligonales a otros lenguajes de programación, 2022
- Librería para Generar Visualizaciones de Estructuras de Datos, 2022
- Gradual Sensitivity Types, 2021
- Mejora a Sistema de Detección de Sismos vía Twitter, Twicalli, 2021
- Optimización de Parámetros de la Máquina Virtual de Java con Algoritmo Genético, 2021
- Question Answering over Wikidata Using Entity Linking and Neural Semantic Parsing, 2021
- Fuzzer to Analyze Smart Contract Performance, 2020
- On the Expressiveness of LARA: A Unified Language For Linear And Relational Algebra, 2019
- Bitcoin Gambling Using Distributed Oracles In The Blockchain, 2018
- Directorio de Investigadores en Ciencias de la Computación, 2018
- Sistema de Validación para el Desarrollo Incremental de un Intérprete de R en Coq, 2018
Of. N311