Back to
Mr Patrick Lederer

Mr Patrick Lederer

Postdoctoral Fellow
Engineering
Computer Science and Engineering

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/

 


 
E-mail
p.lederer@unsw.edu.au
Location
UNSW, Building K17, Room 307, Sydney NSW 2052, Australia
  • Journal articles | 2025
    Aziz H; Lederer P; Lu X; Suzuki M; Vollen J, 2025, 'Approximately fair and population consistent budget division via simple payment schemes', Games and Economic Behavior, 154, pp. 208 - 225, http://dx.doi.org/10.1016/j.geb.2025.09.001
  • Conference Papers | 2025
    Aziz H; Chan H; Lederer P; Narang S; Walsh T, 2025, 'Distance Preservation Games', in Ijcai International Joint Conference on Artificial Intelligence, pp. 3735 - 3743, http://dx.doi.org/10.24963/ijcai.2025/415
    Conference Papers | 2025
    Brandt F; Lederer P, 2025, 'Weak Strategyproofness in Randomized Social Choice', in Proceedings of the Aaai Conference on Artificial Intelligence, pp. 13667 - 13674, http://dx.doi.org/10.1609/aaai.v39i13.33493
    Conference Papers | 2025
    Frank F; Lederer P, 2025, 'The Metric Distortion of Randomized Social Choice Functions: C1 Maximal Lottery Rules and Simulations', in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems Aamas, pp. 785 - 793