Joseph R. Kiniry
From Brede Wiki
|Joseph R Kiniry|
|Affiliation:||Department of Applied Mathematics and Computer Science, Technical University of Denmark |
Software Development Group, IT University of Copenhagen
|Databases:||Google Scholar Scopus Twitter (kiniry)|
|Search:||PubMed (first author) PubMed |
Joseph R. Kiniry is Professor at the Department of Applied Mathematics and Computer Science, Technical University of Denmark.
He is researcher in formal methods for voting.
- Ensuring consistency between designs, documentation, formal specifications, and implementations
- Formally counting electronic votes (but still only trusting paper)