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 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:

Many of my publications are available.

My real interests include include constitutional law, Fantasy SCOTUS, theology, baseball, epistemology, and lexicology.

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


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