About me:

I am a Ph.D. student in the Computer Science Department at Carnegie Mellon University, where I have the honor and pleasure of being advised by Ariel Procaccia.

My current research is in the field of computational social choice, i.e., I search for algorithms that reconcile differing preferences in a way that provably ensures good outcomes. Among other things, I am thinking about new paradigms of democracy, refugee resettlement, and kidney exchange.

Before coming to CMU, I earned my undergraduate degree at Saarland University in Saarbrücken, Germany. There, I was fortunate to work with Bernd Finkbeiner on reactive synthesis.

Contact:

E-Mail:
pgoelz at cs dot cmu dot edu
Mail address:
Paul Goelz
5000 Forbes Avenue
Computer Science Department, GHC 6105
Pittsburgh, PA 15213, USA
Office:
Gates 6211

Publications:

Neutralizing self-selection bias in sampling for sortition.
Bailey Flanigan, Paul Gölz, Anupam Gupta, and Ariel Procaccia.
Under review.
[Preprint] [Code]
Mechanism design for path finding: Incentive-compatible kidney exchange in a slightly semi-random model.
Avrim Blum and Paul Gölz.
Under review.
[Preprint]
Approval-based apportionment.
Markus Brill, Paul Gölz, Dominik Peters, Ulrike Schmidt-Kraepelin, and Kai Wilker.
AAAI 2020.
[Full version]
Paradoxes in fair machine learning.
Paul Gölz, Anson Kahng, and Ariel Procaccia.
NeurIPS 2019.
[Full version] [Code]
No stratification without representation.
Gerdus Benadè, Paul Gölz, and Ariel Procaccia.
EC 2019.
[Full version] [Recorded talk] [Code]
Migration as submodular optimization.
Paul Gölz and Ariel Procaccia.
AAAI 2019.
[Full version] [Poster] [Code]
The fluid mechanics of liquid democracy.
Paul Gölz, Anson Kahng, Simon Mackenzie, and Ariel Procaccia.
WINE 2018.
[Full version] [WINE] [Recorded talk] [Code]
Synthesis in distributed environments.
Bernd Finkbeiner and Paul Gölz.
FSTTCS 2017.
[Full version] [FSTTCS]
Synthesis for Petri games with one system player.
Paul Gölz.
Undergraduate thesis, 2017.

News:

April 25: My team finished 41st out of 10,724 at the Google Hash Code programming competition. Thanks to Alex, Andrii, and Da Qi!

Teaching:

15750 Graduate Algorithms.
With Anupam Gupta at CMU, Spring 2020.
15453 Formal Languages, Automata, and Computability.
With Klaus Sutner at CMU, Fall 2019.
Verification.
With Bernd Finkbeiner at Saarland University, Fall 2016.
Programming 1.
With Gert Smolka at Saarland University, Fall 2015.