310 reputation
26
bio website cs.virginia.edu/~abh2n
location Charlottesville, VA
age 44
visits member for 3 years, 4 months
seen Sep 14 at 22:12

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


310 Reputation

10 Jun 4 '13
10 Nov 11 '12
10 Jul 19 '12
10 Jul 27 '11
30 Jun 28 '11
10 Jun 27 '11
10 Jun 25 '11
10 Jun 24 '11
20 Jun 23 '11
90 Jun 22 '11
100 May 19 '11