conf.researchr.org / Michael Kirsten
Registered user since Tue 2 Apr 2019
Name:Michael Kirsten
Country:Germany
Affiliation:Ludwig-Maximilians-Universität (LMU) Munich
Personal website: https://www.tcs.ifi.lmu.de/mitarbeiter/michael-kirsten_de.html
X (Twitter): https://x.com/mi_kirsten
GitHub: https://github.com/mi-ki
Research interests:Formal Methods, Theorem Proving, Security, Computational Social Choice, Electronic Voting
Contributions