C. Michael Holloway
Mr Holloway is not a member of the formal methods team, but he once was, and can pretend to be when necessary. He thinks those who have the patience to spend hours proving things they already know to be true deserve respect (and even more 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?
When not working for his paycheck, he, among other things, plays Fantasy SCOTUS (in which he was the OT2018 national champion) and otherwise follows the court closely, participates in his church, reads a lot about many subjects, writes a bit, follows many college and a few professional sports, paints rocks, 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.