Lucy Horowitz¶
Researcher at UC Berkeley working on formal verification and election integrity. Her work applies theorem-proving and formal methods to verify election tabulation procedures and electoral law compliance.
Sources in this wiki¶
(None currently published.)