Mr Patrick Lederer

I am a postdoctoral researcher in the Algorithmic Decision Theory group of Prof. Haris Aziz at UNSW Sydney since April 2024. Before coming to Australia, I obtained a PhD in computer science at the Technical University of Munich, where I was a member of the group led by Prof. Felix Brandt. My research focuses on (computational) social choice, in particular on how to design normatively appealing voting rules or mechanisms for assignment, matching, or fair division. Moreover, I enjoy using computer-aided theorem proving to find new results in these domains.

Personal Webpage: https://cgi.cse.unsw.edu.au/~plederer/