PostDoc CS researcher @LMU 🇩🇪. Interested in the efficient application of formal methods for making collective decision aggregation trustworthy.