I am a computer scientist interested in distributed graph algorithms, and in other aspects of algorithms under uncertainty: topological methods in distributed computing, streaming algorithms, and theory of computing in general.

I am currently a post-doctoral researcher at the Faculty of Compute Science, University of Vienna, working with Monika Henzinger. Prior to that, I spent two years as a post-doctoral researcher at IRIF, Paris, under the interaction program of FSMP, hosted by Pierre Fraigniaud. I graduated my PhD under the supervision of Keren Censor-Hillel, and my MSc under the supervision of Hagit Attiya, both at the Computer Science Department, Technion, Israel.

Contact: ami.paz@univie.ac.at


Cover photo taken by me at Méert, Lille. My photo was taken by Thaler Tamás.

News (Winter 2020-2021)

Our paper Input-Dynamic Distributed Algorithms for Communication Networks (preprint) was accepted to ACM SIGMETRICS 2021. With Klaus-Tycho Foerster, Janne Korhonen, Joel Rybicki, and Stefan Schmid

A short version of our paper Distributed Quantum Proofs for Replicated Data (arXiv) was presented in Quantum Information Processing (QIP) conference. The long version of this paper was presented in ITCS 2021 (my talk). With Pierre Fraigniaud, François Le Gall, and Harumichi Nishimura

Our paper Fast and Simple Deterministic Algorithms for Highly-Dynamic Networks was presented in OPODIS 2020 (paper, arXiv). With Keren Censor-Hillel, Neta Dafni, Victor I. Kolobov, and Gregory Schwartzman


Publications

See also my DBLP entry and arXiv. Author names are alphabetically ordered - this is the common practice in theoretical computer science.

Models of Smoothing in Dynamic Networks

Uri Meir, Ami Paz, and Gregory Schwartzman

DISC 2020; arXiv; my talk

Improved Hardness of Approximation of Diameter in the CONGEST Model

Ofer Grossman, Seri Khoury, and Ami Paz

DISC 2020 ; Seri's talk

Distributed Quantum Proofs for Replicated Data

Pierre Fraigniaud, François Le Gall, Harumichi Nishimura, and Ami Paz

ITCS 2021 (accepted); BA at DISC 2020; my talk at DISC 2020; full version on arXiv

Input-dynamic distributed graph algorithms for congested networks

Klaus-Tycho Foerster, Janne H. Korhonen, Ami Paz, Joel Rybicki, and Stefan Schmid

arXiv

Calcul distribué simple et efficace de la betweenness

Pierluigi Crescenzi, Pierre Fraigniaud and Ami Paz

ALGOTEL 2020

Based on our paper "Simple and Fast Distributed Computation of Betweenness Centrality"

The Topology of Local Computing in Networks

Pierre Fraigniaud and Ami Paz

ICALP 2020 track B; arXiv

Simple and Fast Distributed Computation of Betweenness Centrality

Pierluigi Crescenzi, Pierre Fraigniaud, and Ami Paz

INFOCOM 2020, arXiv

Synchronous t-Resilient Consensus in Arbitrary Graphs

Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy and Corentin Travers

SSS 2019 (best paper award), PDF

Trade-Offs in Distributed Interactive Proofs

Pierluigi Crescenzi, Pierre Fraigniaud, and Ami Paz

arXiv, DISC 2019

Hardness of Distributed Optimization

Nir Bachrach, Keren Censor-Hillel, Michal Dory, Yuval Efron, Dean Leitersdorf and Ami Paz

arXiv, PODC 2019

A Topological Perspective on Distributed Network Algorithms

Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy and Corentin Travers

TCS 2021, SIROCCO 2019 (Invited talk); arXiv

Vérification de preuves distribuées: compromis temps-espace

Laurent Feuilloley, Pierre Fraigniaud, Juho Hirvonen, Ami Paz and Mor Perry

ALGOTEL 2019 (best student paper award)

Based on our paper "Redundancy in Distributed Verification"

Fast and Simple Deterministic Algorithms for Highly-Dynamic Networks

Keren Censor-Hillel, Neta Dafni, Victor I. Kolobov, Ami Paz and Gregory Schwartzman

arXiv

Smaller Cuts, Higher Lower Bounds

Amir Abboud, Keren Censor-Hillel, Seri Khoury and Ami Paz

arXiv

This paper is a merge of our paper "Quadratic and Near-Quadratic Lower Bounds for the CONGEST Model", and the paper "Near-Linear Lower Bounds for Distributed Distance Computations, Even in Sparse Networks" by Abboud, Censor-Hillel and Khoury

The Sparsest Additive Spanner via Multiple Weighted BFS Trees

Keren Censor-Hillel, Ami Paz and Noam Ravid

TCS 2020; OPODIS 2018; arXiv; slides; HALG 2019 (short talk)

Redundancy in Distributed Verification

Laurent Feuilloley, Pierre Fraigniaud, Juho Hirvonen, Ami Paz and Mor Perry

Distributed Computing 2020; DISC 2018; arXiv; slides

Distributed Distance Computation and Related Topics

Ami Paz

PhD Thesis, Technion, 2017

Quadratic and Near-Quadratic Lower Bounds for the CONGEST Model

Keren Censor-Hillel, Seri Khoury and Ami Paz

DISC 2017; arXiv; HALG 2018 (short talk)

An updated version, merged with a paper by Abboud, Censor-Hillel and Khoury, is now available on arXiv

Approximate Proof-Labeling Schemes

Keren Censor-Hillel, Ami Paz and Mor Perry

TCS 2020; preliminary version at SIROCCO 2017; see also SIROCCO's per-proceedings

A (2+ε)-Approximation for Maximum Weight Matching in the Semi-Streaming Model

Ami Paz and Gregory Schwartzman

TALG; preliminary version at SODA 2017 (best paper award and best student paper award); arxiv; HALG 2017 (invited talk); slides

Distributed Construction of Purely Additive Spanners

Keren Censor-Hillel, Telikepalli Kavitha, Ami Paz and Amir Yehudayoff

Distributed Computing 2018; preliminary version at DISC 2016; arxiv

Algebraic Methods in the Congested Clique

Keren Censor-Hillel, Petteri Kaski, Janne H. Korhonen, Christoph Lenzen, Ami Paz and Jukka Suomela

Distributed Computing 2019; preliminary version at PODC 2015; arxiv

Bremen Workshop Review

Ami Paz

SIGACT News 2013

Bounds on the Step and Namespace Complexity of Renaming

Hagit Attiya, Armando Castañeda, Maurice Herlihy and Ami Paz

SICOMP; preliminary version at PODC 2013 (best student paper award); slides

Counting-Based Impossibility Proofs for Distributed Tasks

Ami Paz

MSc Thesis, Technion, 2013

Counting-Based Impossibility Proofs for Set Agreement and Renaming

Hagit Attiya and Ami Paz

JPDC 2016; preliminary version at DISC 2012; slides

Academic Activities

Program Committees

  • The 18th IEEE International Conference on Sensing, Communication and Networking (IEEE SECON) 2021

  • The 39th ACM Symposium on Principles of Distributed Computing (ACM PODC) 2020

  • The 38th IEEE International Conference on Distributed Computing Systems, Distributed Algorithms & Theory Track (IEEE ICDCS) 2018

Organizer

Journal Reviewer

  • SIAM Journal on Computing (SICOMP), ACM Transactions on Algorithms (TALG), Distributed Computing (Dist. Comp.), Algorithmica, Theoretical Computer Science (TCS), Theory of Computing Systems (ToCS), Information Processing Letters (IPL)

Conference Reviewer

  • STOC, FOCS, PODC, DISC, ITCS, SPAA, ICALP, WWW, ESA, OPODIS, STACS, SOSA, MFCS, LATIN, FUN

Teaching

I am not teaching at the moment. Last year, I was teaching the following courses at the University of Vienna:

  • Distributed and Parallel Algorithms (Lecturer)

  • Network Technologies (Teaching Assistant)

As a graduate student at the Technion, I was a teaching assistant in various courses:

  • Distributed Algorithms A: distributed graph algorithms

  • Distributed Algorithms B: shared memory systems

  • Modern Cryptology

  • Computability Theory

  • Logic and Set Theory

  • Combinatorics