C. Michael Holloway
C. Michael Holloway is not a member of the formal methods team, but he once was long ago, and can pretend to be when necessary. He believes those who have the patience to spend hours proving things they already know to be true deserve respect (and pity).
As a teenager Michael Holloway could run really fast. Unrelatedly, he planned to become a constitutional lawyer and eventually a Justice of the Supreme Court of the United States. For non-academic reasons, he ended up as a senior research computer engineer at NASA Langley Research Center, where he has worked since June 1983.
His primary professional research 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?
In his spare time he, among other things, plays Fantasy SCOTUS (in which he is the reigning National Champion), participates in his church, reads a lot about many subjects, writes a bit, follows many college and a few professional sports, and enjoys spending time with his wife (a fabulous photographer and former Langley computer engineer). He has two adult sons and one daughter-in-law.
He can't run fast anymore.The tag identifies links that are outside the NASA domain.