Status: Banned user
Joined: 1 year ago by invitation from dmz
Banned: 6 months ago by pushcx: Removing spammer.
Left: 6 months ago
Karma: 46, averaging 3.07 per story/comment
Stories Submitted: 3, most commonly tagged formalmethods
Comments Posted: 10
Homepage: https://tommd.github.io
GitHub: https://github.com/TomMD
Twitter: @MDTom