Status: Active user
Joined: 9 months ago by invitation from aleph
Karma: 42, averaging 1.45 per story/comment
Stories Submitted: 7, most commonly tagged formalmethods
Comments Posted: 22
About: