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