| bio | website | cs.virginia.edu/~abh2n |
|---|---|---|
| location | Charlottesville, VA | |
| age | 43 | |
| visits | member for | 2 years |
| seen | Mar 30 at 21:16 | |
| stats | profile views | 21 |
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).
| 10 | Nov 11 '12 | ||||
| |||||
| 10 | Jul 19 '12 | ||||
| |||||
| 10 | Jul 27 '11 | ||||
| 30 | Jun 28 '11 | ||||
| 10 | Jun 27 '11 | ||||
| 10 | Jun 25 '11 | ||||
| 10 | Jun 24 '11 | ||||
| 20 | Jun 23 '11 | ||||
| 90 | Jun 22 '11 | ||||
| 100 | May 19 '11 | ||||