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


939 Reputation

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
10 Sep 19 '11
10 Jul 30 '11
10 Jul 10 '11