Area 51 » Ben Hocking

201
reputation
5 views
discussion user
network profile

Registered User

name Ben Hocking
member for 8 years
seen Oct 23 '14 at 23:55
website
location Charlottesville, VA

I am a Principal Scientist at Dependable Computing in Charlottesville, VA, where we work on safety case engineering, formal specifications, requirements gathering, and other safety-critical and security-critical software engineering issues. I have a PhD in Computer Science from the University of Virginia, with my dissertation involving a genetic algorithm exploration of neural network models of the hippocampus. I've also previously earned Masters degrees in Physics/Astronomy (involving General Relativity) and Computer Science (involving improving multi-processor implementations of hippocampal neural network simulations).

0

Proposals


0

Current Commitments


1

Fulfilled Commitment

Philosophy

For those interested in logical reasoning.
define
commit
beta

0

Followed


1

Example Question


24

Votes Cast

24 up

0 down