Federico Olmedo

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 16

Top Topics

Differential Privacy

Randomized Algorithm

Top Venues

ACM Trans. Program. Lang. Syst.

Correct System Design

Publications