939 reputation
310
bio website cs.virginia.edu/~abh2n
location Charlottesville, VA
age 43
visits member for 2 years, 11 months
seen Apr 15 at 21:06

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


May
9
awarded  Yearling
Jul
1
awarded  Enlightened
Jul
1
awarded  Nice Answer
May
9
awarded  Yearling
May
7
awarded  Nice Answer
Jul
15
awarded  Quorum
Jun
1
awarded  Critic
May
20
awarded  Nice Answer
May
16
awarded  Editor
May
16
awarded  Commentator
May
16
awarded  Teacher
May
9
awarded  Supporter
May
9
awarded  Autobiographer