`Travelled to:`

1 × Latvia

1 × USA

`Collaborated with:`

G.Barthe B.Köpf S.Z.Béguelin B.L.Kaminski J.Katoen C.Matheja

`Talks about:`

probabilist (3) differenti (2) program (2) privaci (2) reason (2) relat (2) precondit (1) composit (1) weakest (1) theorem (1)

## Person: Federico Olmedo

### DBLP: Olmedo:Federico

### Contributed to:

### Wrote 3 papers:

- ICALP-v2-2013-BartheO #composition #difference #logic #privacy #probability #relational #source code #theorem
- Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs (GB, FO), pp. 49–60.
- POPL-2012-BartheKOB #difference #privacy #probability #reasoning #relational
- Probabilistic relational reasoning for differential privacy (GB, BK, FO, SZB), pp. 97–110.
- ESOP-2016-KaminskiKMO #probability #reasoning #source code
- Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs (BLK, JPK, CM, FO), pp. 364–389.