Michael Kirsten
@mi_ki@mstdn.science
Joined: 04/06/2023
@mi_ki@mstdn.science could not be fetched from the remote server. Showing cached data.
About Michael Kirsten
PostDoc CS researcher #LMU Munich 🇩🇪. Interested in the efficient application of formal methods for making collective decision aggregation trustworthy.
Lists
mi_ki has no public lists
Timeline
mi_ki has no activity yet