2018-annual-report

88
annual report
20
45. Zsolt István. Caribou: Building Intelligent
Distributed Storage using Specialized Hardware.
Technion, Haifa, Israel. November
2018.
46. Zsolt István. Consensus in a Box: How we
Built a Replicated Key-value Store using
Specialized Hardware. Universitatea Technica
din Cluj-Napoca, Cluj-Napoca, Romania.
November 2018.
2.3 Invited Speaker Series
During 2018, 35 external speakers were invited
to give talks at IMDEA Software. All of our seminars
and talks are open to the campus and the
academic community at large. The following list
shows the speakers and the titles of their talks.
1. Miguel Á. Carreira-Perpiñán. Professor, University
of California at Merced, USA: Model
compression as constrained optimization,
with application to neural nets.
2. Manuel Bravo. PhD Student, University of
Lisboa, Portugal: Towards a Distributed
Metadata Service for Causal Consistency.
3. Pedro Reviriego. Associate Professor, Nebrija
University, Spain: Reducing the False Positive
Rate for Correlated Queries with the
Adaptive Cuckoo Filter (ACF).
4. Deepak Padmanabhan. Lecturer, Queen’s
University Belfast, United Kingdom: Multiview
Data Analytics.
5. Zsolt István. PhD Student, ETH Zurich, Switzerland:
Caribou – Intelligent Distributed
Storage for the Datacenter.
7. Marco Guarnieri. Post-doctoral Researcher,
ETH Zurich, Switzerland: Formal foundations
for access and inference control in
databases.
8. Antonio Bianchi. PhD Student, University of
California, Santa Barbara: Identifying and
Mitigating Trust Violations in the Mobile
Ecosystem.
9. Samer Hassan. Associate Research Professor,
Berkman Klein Center at Harvard University
& Universidad Complutense de Madrid:
Decentralized Blockchain-based Organizations
for Bootstrapping the Collaborative
Economy.
10. Sergio Mover. Post-doctoral Researcher,
University of Colorado Boulder, USA:
Abstractions and models to design safe
Event-Driven Cyber-Physical Systems.
11. Carla Ràfols. Post-doctoral Researcher, Universitat
Pompeu Fabra, Barcelona, Spain:
Efficient Zero-Knowledge Proofs or on how
to use the juiciest piece of a freshly hunted
SNARK.
12. Sebastien Bardin and Richard Bonichon.
Researcher, Commissariat à l’Energie Atomique
(CEA), France: Formal methods: from
source-level safety to binary-level security.
13. Jean Paul Degabriele. Post-doctoral
Researcher, TU Darmstadt, Germany: The
Synergy Between Theory and Practice in
Cryptography.
14. Niki Vazou. Post-doctoral Researcher, University
of Maryland, USA: Liquid Haskell:
Usable Language-Based Program Verification.
6. Fabio Palomba. Researcher, University of
Zurich, Switzerland: STATICS: Socio-Technical
AnalyTICs for improving the Management
of Software Evolution Tasks.
15. Jesús López González. PhD Student, Universidad
Rey Juan Carlos & Habla Computing
S.L., Spain: Optic algebras: beyond
immutable data structures.