Ben Hocking
  • Member for 10 years, 6 months
  • Last seen more than a month ago
Stats
1,022
reputation
36k
reached
7
answers
4
questions
Loading…
About

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).

1
gold badge
9
silver badges
13
bronze badges
17
Score
4
Posts
36
Posts %
15
Score
2
Posts
18
Posts %
11
Score
2
Posts
18
Posts %
10
Score
3
Posts
27
Posts %
9
Score
1
Posts
9
Posts %
8
Score
1
Posts
9
Posts %