C. Michael Holloway
I am not a member of the formal methods team, but I once was, and can pretend to be when necessary. Those who have the patience to spend hours proving things they already know to be true deserve much respect (and even more pity).
I have been employed by the NASA Langley Research Center in Hampton, Virginia since 1983. I received a superb undergraduate education from the University of Virginia (“Wahoowa!”), and a mediocre graduate education from the University of Illinois at Urbana-Champaign. My primary professional interests center around finding answers to two fundamental epistemic questions:
- (Looking forward) How can we know in advance that a system will be safe to use in its intended environment?
- (Looking backward) How can we know that we have found all the relevant causal factors of an adverse event?
My real interests include include constitutional law, Fantasy SCOTUS, theology, baseball, epistemology, and lexicology.The tag identifies links that are outside the NASA domain.