Skip to main content
Ben Hocking's user avatar
Ben Hocking's user avatar
Ben Hocking's user avatar
Ben Hocking
  • Member for 9 years, 5 months
  • Last seen more than a month ago
Stats
233
reputation
2k
reached
1
answer
2
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).

Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
1
Score
1
Posts
33
Posts %
1
Score
1
Posts
33
Posts %
1
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts