969 reputation
410
bio website cs.virginia.edu/~abh2n
location Charlottesville, VA
age 44
visits member for 3 years, 6 months
seen yesterday

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


969 Reputation

10 Oct 1
10 May 27
+10 14:02 upvote
10 Apr 26
20 Mar 23
10 Aug 23 '13
10 Aug 16 '13
10 Feb 20 '13
-10 Feb 5 '13
-10 Jan 30 '13
10 Dec 24 '12
10 Oct 11 '12
0 Sep 5 '12
10 Jul 1 '12
10 May 15 '12
10 May 14 '12
30 May 10 '12
10 May 8 '12
120 May 7 '12
10 May 6 '12
20 May 5 '12
20 May 4 '12
10 Mar 31 '12
10 Mar 20 '12
10 Mar 19 '12
10 Dec 31 '11
10 Dec 30 '11
10 Dec 8 '11
-2 Nov 14 '11
10 Nov 3 '11
10 Sep 29 '11