101 reputation
bio website cs.virginia.edu/~abh2n
location Charlottesville, VA
age 45
visits member for 3 years, 9 months
seen Sep 20 '11 at 12:01

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

This user has not answered any questions
This user has not asked any questions
This user has not participated in any tags
Stack Overflow 3,492 rep 21536
English Language & Usage 1,009 rep 510
Philosophy 673 rep 512
Physics 320 rep 26
Science Fiction & Fantasy 311 rep 16

0 Votes Cast

This user has not cast any votes