(Until it's time for my qualifying exam, that is.)
The basic idea: electronic voting machines should have electronic sample ballots. Everyone should get to see exactly what the ballot will look like before going in to vote. Result: much less code in the voting machine. Loading and checking the ballot definition, displaying a ballot in any language or visual style, accepting selections and write-ins, and recording votes anonymously can all be implemented in less than 300 lines of Python.
If you're curious or interested in looking at it, let me know.