Democracy Developers Ltd.
mi.ki
mi-ki
Researcher in formal methods @kastel-security. (he/him)
Karlsruhe Institute of Technology (KIT) Karlsruhe, Germany
John Dziurlaj
JDziurlaj
Election technology modernization, security and interoperability
@HiltonRoscoe Akron, Ohio
