Close
DCC | Académicas/os - Federico Olmedo

Académicas/os

Títulos y Grados

  • Doctor - Universidad Politécnica de Madrid2014
  • Licenciado en Ciencias - Universidad Nacional de Rosario2008

Docencia Últimos 7 años

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

Alumnos Tesistas de Magíster Últimos 7 años

Participación como Profesor Guía

  • Slicing Of Probabilistic Programs Based On Specifications, 2025

Participación como Profesor Integrante

  • A Coq Formalization Of RDF And Its Applications, 2024
  • Data Sintética Privada, Ejecución y Evaluaciones de Modelos, 2024
  • Optimizing 2-Way Regular Path Queries In Graph Databases With Leapfrog Triejoin, 2024
  • Proceso de Gestión Interna para la Interacción de Ciberseguridad con Proyectos Tecnológicos, 2024
  • Gradual Sensitivity Types, 2021
  • Question Answering over Wikidata Using Entity Linking and Neural Semantic Parsing, 2021
  • On the Expressiveness of LARA: A Unified Language For Linear And Relational Algebra, 2019
  • Bitcoin Gambling Using Distributed Oracles In The Blockchain, 2018

Alumnos Tesistas de Doctorado Últimos 7 años

Participación como Profesor Integrante

  • Gradual SysteM F, 2023
  • Type Abstraction and Faceted Types for Declassification, 2020
  • Abstracting Gradual Typing: Metatheory and Applications, 2019

Investigación Últimos 7 Años

Publicaciones

  • A Gradual Probabilistic Lambda CalculusProceedings Of The Acm On Programming Languages-Pacmpl, vol 7, 2023, pag 256-285
  • Contextual Linear Types for Differential PrivacyAcm Transactions On Programming Languages And Systems, vol 45, 2023, pag 1-69
  • Slicing of probabilistic programs based on specificationsScience Of Computer Programming, vol 220, 2022
  • Conditioning in Probabilistic ProgrammingAcm Transactions On Programming Languages And Systems, vol 40, 2018
  • Weakest Precondition Reasoning for Expected Runtimes of RandomizedAlgorithmsJournal Of The Acm, vol 65, 2018
© 2022 - 2024 Departamento de Ciencias de la Computación, Universidad de Chile