»Ê¹Ú²ÊƱ

I am a postdoctoral researcher in theÌýÌý´Ç´ÚÌýÌýat »Ê¹Ú²ÊƱ 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:Ìý

Ìý

Ìý