DSS
Decision Sciences & Systems
Technical University of Munich
 
geist formal

    

Dr. Christian Geist

Alumnus of:
Institut für Informatik (I18)
Technische Universität München
 
E-Mail:    geistzzin.tum.de
     

Announcements

  • A public beta version of Pnyx - our powerful & user-friendly tool for preference aggregation - is online at pnyx.dss.in.tum.de

Short Bio

  • 2013 - 2016: AGT Group (Prof. Dr. Felix Brandt), Technische Universität München, Germany
  • 2010 - 2012: Consultant at McKinsey & Company, Inc., Munich, Germany
  • 2008 - 2010: M.Sc. in Logic, Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam, Netherlands
  • 2004 - 2008: B.Sc. in Mathematics with Computer Science, Technische Universität Darmstadt, Germany
  • 2007: Semester Study Abroad Programme, University of Cape Town, South Africa

Publications

F. Brandl, F. Brandt, M. Eberl, and C. Geist. Proving the incompatibility of efficiency and strategyproofness via SMT solving. Journal of the ACM, 2017. Forthcoming. [ pdf ]

F. Brandt, C. Geist, and D. Peters. Optimal bounds for the no-show paradox via SAT solving. Mathematical Social Sciences, 2017. Special Issue in Honor of Hervé Moulin. Forthcoming. [ link | pdf ]

F. Brandl, F. Brandt, and C. Geist. Proving the incompatibility of efficiency and strategyproofness via SMT solving. In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI), pages 116–122. AAAI Press, 2016. [ link | pdf | venue ]

F. Brandt, C. Geist, and M. Strobel. Analyzing the practical relevance of voting paradoxes via Ehrhart theory, computer simulations, and empirical data. In Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 385–393. IFAAMAS, 2016. [ link | pdf | venue ]

F. Brandt, C. Geist, and D. Peters. Optimal bounds for the no-show paradox via SAT solving. In Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 314–322. IFAAMAS, 2016. [ link | pdf | venue ]

F. Brandt and C. Geist. Finding strategyproof social choice functions via SAT solving. Journal of Artificial Intelligence Research, 55:565–602, 2016. [ link | pdf ]

G. Bachmeier, F. Brandt, C. Geist, P. Harrenstein, K. Kardel, D. Peters, and H. G. Seedig. k-majority digraphs and the hardness of voting with a constant number of voters. 2016. Working paper. [ pdf ]

F. Brandt, C. Geist, and P. Harrenstein. A note on the McKelvey uncovered set and Pareto optimality. Social Choice and Welfare, 46(1):81–91, 2016. [ link | pdf ]

F. Brandl, F. Brandt, C. Geist, and J. Hofbauer. Strategic abstention based on preference extensions: Positive results and computer-generated impossibilities. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), pages 18–24. AAAI Press, 2015. [ link | pdf | venue ]

F. Brandt, G. Chabin, and C. Geist. Pnyx: A powerful and user-friendly tool for preference aggregation. In Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 1915–1916. IFAAMAS, 2015. [ link | pdf | venue ]

F. Brandt, C. Geist, and H. G. Seedig. Identifying k-majority digraphs via SAT solving. In Proceedings of the 1st AAMAS Workshop on Exploring Beyond the Worst Case in Computational Social Choice (EXPLORE), 2014. [ link | pdf | venue ]

C. Geist. Finding preference profiles of Condorcet dimension k via SAT. Technical report, http://arxiv.org/abs/1402.4303, 2014. [ link | pdf ]

F. Brandt and C. Geist. Finding strategyproof social choice functions via SAT solving. In Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 1193–1200. IFAAMAS, 2014. [ link | pdf | venue ]

C. Geist and U. Endriss. Automated search for impossibility theorems in social choice theory: Ranking sets of objects. Journal of Artificial Intelligence Research, 40:143–174, 2011. [ link ]

C. Geist, B. Löwe, and B. van Kerkhove. Peer review and knowledge by testimony in mathematics. In B. Löwe and T. Müller, editors, PhiMSAMP. Philosophy of Mathematics: Sociological Aspects and Mathematical Practice, Texts in Philosophy 11, pages 155–178. College Publications, London, 2010. [ link ]

C. Geist. Automated search for impossibility theorems in choice theory: Ranking sets of objects. Master's thesis, Universiteit van Amsterdam, 2010. [ link | pdf ]

Presented Talks

Teaching

Courses

Student projects

  • Master's thesis  A Quantitative Study of the Axiomatic Properties of Selected Voting Rules (Martin Strobel, 2015)
  • IDP Pnyx: A Tool for Preference Aggregation (Guillaume Chabin, 2014)
  • Bachelor's thesis Answer Set Programming for Computer-aided Theorem Proving in Social Choice Theory (Michael Bay, 2013/14)
  • Master's thesis Constraint Satisfaction Programming for Computer-aided Theorem Proving in Social Choice Theory (Elisabeth Brändle, 2013)

Community Service

Refereeing Journals

Refereeing Conferences

Decision Sciences & Systems (DSS), Department of Informatics (I18), Technische Universität München, Boltzmannstr. 3, 85748 Garching, Germany
©2002-2017 DSS All Rights Reserved
Impressum, Privacy Policy, Copyright Information and Disclaimer