322 reputation
26
bio website cs.virginia.edu/~abh2n
location Charlottesville, VA
age 45
visits member for 4 years, 2 months
seen Jul 20 at 13:27

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


Jul
14
revised Why do the waters of the different oceans of the world have different ratios of their H and O isotopes?
Fixed the scientific notation and isotope notation, but wish that the math font wasn't bigger than the regular font…
Jun
24
revised Finding Directions using moon
More minor clean up
Jun
22
revised A fan in a hot room at what point does it put in more energy that it dissipates
added 214 characters in body
Jun
22
revised A fan in a hot room at what point does it put in more energy that it dissipates
added 34 characters in body
Jun
21
revised Is the entire Universe the same age?
added 311 characters in body; added 12 characters in body