NASA logo

+ Contact NASA

[an error occurred while processing this directive]

C. Michael Holloway

I am not a member of the formal methods team, but I once was, and occasionally still pretend to be. Those who have the patience to spend hours proving things they already know to be true deserve respect (and pity).

My primary professional interests involve epistemic issues in software system safety. You may want to visit my publications[*] or my [linkedin] page[*]

My real interests include theology, epistemology, Constitutional law, history, roller coasters, volleyball, and baseball.

I have a B.S. in computer science[*] from the University of Virginia [*]. (1983), and completed all-but-dissertation towards a Ph.D. from the University of Illinois. I am a member of the IEEE, the IEEE Computer Society, and the International System Safety Society. I am married and have two children.

The tag [*] identifies links that are outside the NASA domain.


Safety Critical Avionics Systems Branch
NASA Langley Research Center
Mail Stop 130
Hampton, VA 23681-2199, USA
Phone: +1.757.864.1701
Fax: +1.757.864.4234