User bwr | Lobsters

bwr

Status: Active user
Joined: 2 years ago by invitation from jpo
Karma: 173, averaging 7.52 per story/comment
Stories Submitted: 5, most commonly tagged formalmethods
Comments Posted: 18
About:

I’m Ben - I work at the Machine Intelligence Research Institute in Berkeley.

I’m originally from Blacksburg, Virginia.