NASA logo

+ Contact NASA

[an error occurred while processing this directive]

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:

During his 35-year career he has authored over 60 papers and received many awards, including Langley's premier research fellowship. He received a superb undergraduate education from the University of Virginia [*] (“Wahoowa!”) and a graduate education from the University of Illinois.

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.


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