Member for 10 years, 11 months
Last seen this week
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).
BadgesView all badges
This user doesn’t have any gold badges yet.
AutobiographerDec 5, 2020
This user hasn’t posted yet.
Top network postsView all network posts