123
reputation
4

Ben Hocking

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
answers
1
question
~69
people reached

Top tags (1)

Score 0
Posts 1
Posts % 100

Top posts (1)

Badges (4)

Gold

Silver

Bronze

4

Rarest