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