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 how to improve sortition, liquid democracy, participatory budgeting, and the distribution of migrants over host countries.

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:

No stratification without representation.
Gerdus Benadè, Paul Gölz, and Ariel Procaccia.
Submitted for review, 2019.
[Preprint] [Code]
Migration as submodular optimization.
Paul Gölz and Ariel Procaccia.
AAAI 2019.
[Preprint] [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.

Teaching experience:

Verification.
Taught by Bernd Finkbeiner, Fall 2016.
Programming 1.
Taught by Gert Smolka, Fall 2015.