331 reputation
bio website cs.virginia.edu/~abh2n
location Charlottesville, VA
age 45
visits member for 4 years, 4 months
seen Sep 28 at 21:02

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

suggested approved edit on Why aren't all points on a rolling ball moving?
suggested approved edit on Why do the waters of the different oceans of the world have different ratios of their H and O isotopes?