Friday, 21 November 2003

Voting computers

Listening to:

Mozart, symphony no. 27 in G major, K. 199.

A work-related link: a story from Wired about voting computers. There’s a right way to do things (that’s the Australian way, and given the stamp of approval by ANU academics), and a wrong way (as done in the US). (If you want more than my gross simplification, read the article.) And there’s more: in recent top secret developments, I have become involved in work looking at applying the mighty power of Formal Methods to make that stamp of approval even more impressive.

PS: Australian copyright law really sucks, and music industry types think so too.