Our research is mainly concerned with problems from Computational Social Choice. In particular we study the complexity and axiomatic properties in voting theory, judgment aggregation, and related fields.