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).
-
Charlottesville, VA
-
Member for 9 years, 7 months
-
77 profile views
-
Last seen Jan 12 at 20:11
Communities (62)
Top network posts
Badges (23)
Gold
Rarest
-
Jul 8
Silver
Rarest
-
Jun 18 '19
-
Jun 15 '11
Bronze
Rarest
-
Jun 8 '11
-
Jun 10 '11