Michael Kirsten

Registered user since Tue 2 Apr 2019

Name:Michael Kirsten
Country:Germany
Affiliation:Ludwig-Maximilians-Universität (LMU) Munich
Research interests:Formal Methods, Theorem Proving, Security, Computational Social Choice, Electronic Voting

Contributions