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 (but even more pity).

As a teenager Michael Holloway could run really fast and catch baseballs well, but not quite fast enough or well enough to make a career out of doing either. Instead, he planned to become a constitutional lawyer. For a variety of non-academic reasons, he ended up taking a different path, which led to his employment by NASA Langley Research Center in 1983, which he began shortly after graduating from University of Virginia. Go Hoos!

Today as a senior research computer engineer, he explores ways to identify (when possible) and build (when necessary) epistemically sound foundations on which wise decision can be made about whether a system will be sufficiently safe to justify its use. He's attended graduate school (unfortunately, his choice of school was suboptimal), written lots of papers, mentored oodles of interns, and won some awards, including Langley's premier research fellowship in 2004 and NASA's exceptional service medal in 2025.

He is perhaps best known as an avid fan of University of Virginia athletics , especially baseball, softball, volleyball, track, and volleyball. He is second and third best known as a key creator of, and primary spokesman for, the Overarching Properties and an advocate for argument-based approaches to safety assurance.

He can neither run fast nor catch baseballs well anymore.