DCC | Académicas/os - Federico Olmedo

Federico Olmedo

Profesor Asistente

+56229784975 Oficina

Of. N311

Federico Olmedo B.

Editor de la Revista Bits de Ciencia - Departamento de Ciencias de la Computación actual

CC6919 Trabajo de Título Impartido en 2026 Primavera, 2026 Otoño y 2025 Otoño
CC4101 Lenguajes de Programación Impartido en 2026 Primavera, 2025 Primavera, 2024 Primavera, 2023 Primavera, 2022 Primavera, 2021 Primavera y 2020 Primavera
CC3101 Matemáticas Discretas para la Computación Impartido en 2026 Primavera, 2025 Primavera, 2024 Primavera, 2023 Primavera, 2022 Primavera, 2021 Primavera y 2020 Primavera
CC7126 Análisis y Verificación de Programas Impartido en 2026 Otoño, 2024 Otoño y 2021 Otoño
CC5215 Privacidad de datos Impartido en 2026 Otoño, 2025 Otoño, 2024 Otoño y 2023 Otoño
CC6909 Trabajo de Título Impartido en 2026 Otoño, 2023 Primavera, 2022 Primavera, 2021 Primavera, 2021 Otoño y 2020 Otoño
DPDCCPDP04 Privacidad de Datos Impartido en 2026 Anual
CC5115 Programación Funcional Impartido en 2025 Otoño, 2024 Primavera, 2022 Otoño y 2020 Otoño
CC5905 Trabajo Dirigido Impartido en 2025 Otoño, 2022 Primavera y 2022 Otoño

Participación como Profesor Guía

Detección de vulnerabilidades de privacidad en la publicación de datos por parte de instituciones públicas, 2025
Slicing of probabilistic programs based on specifications, 2024
Clustering diferencialmente privado mediante la generación de sinopsis privadas de datos, 2024
Estudio e implementación de un lenguaje de autorización para bases de datos relacionales, 2023
Automatización de planificación para huertas orgánicas, 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

FALAA: Framework for the Abstraction of Language Agent Architectures Lecture Notes in Computer Science, 2026
A Study of Data Anonymization in Chile's Public Sector PROCEEDINGS - INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, SCCC, 2025
Slicing of Probabilistic Programs: A Review of Existing Approaches ACM COMPUTING SURVEYS, 2025
Static Slicing for Probabilistic Programs: An Overview Lecture Notes in Computer Science, 2025
Gradual Differentially Private Programming COMMUNICATIONS OF THE ACM, 2024
Differential privacy and SPARQL SEMANTIC WEB, 2024
Contextual Linear Types for Differential Privacy ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2023
Gradual Probabilistic Lambda Calculus PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023
Preface ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022
Slicing of probabilistic programs based on specifications SCIENCE OF COMPUTER PROGRAMMING, 2022
A mechanized formalization of GraphQL CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, 2020

Quantum aspects of programming languages Cooperación Internacional: Multilateral y vinculación, STIC2020002, 2021 - 2023
Gradual Reasoning About Differential Privacy FONDECYT, 3200583, 2020 - 2023
Probabilistic Programs: Methods and Tools for their Formal Analysis FONDECYT, 11181208, 2018 - 2021