
Mr Patrick Lederer
Postdoctoral Fellow
Engineering
Computer Science and Engineering
I am a postdoctoral researcher in theÌýÌý´Ç´ÚÌýÌýat Âé¶¹Éçmadou 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Ìý. 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:Ìý
Ìý
Ìý
E-mail
Location
Âé¶¹Éçmadou, Building K17, Room 307, Sydney NSW 2052, Australia
- Publications
- Media
- Grants
- Awards
- Research Activities
- Engagement
- Teaching and Supervision