Joey Dodds (@n1nj4) 's Twitter Profile
Joey Dodds

@n1nj4

Automated reasoning, cryptography, and systems at AWS

This is a personal account. pronoun.is/he

ID: 2738021

linkhttp://galois.com/team/joey-dodds/ calendar_today28-03-2007 23:01:28

2,2K Tweet

690 Followers

306 Following

Joey Dodds (@n1nj4) 's Twitter Profile Photo
Joey Dodds
@n1nj4

3 years ago

A few years back, Rob Dockins and I implemented and verified an RCV tabulator in Coq. The tabulator is pretty easy to implement and prove, I think it only took a week or two. github.com/FreeAndFair/fo…