Jack Horner

Jack Horner is a retired software and systems engineer, and former profit-and-loss-center manager in a Fortune 500 systems integration and development company.  His 40 years of development experience includes scientific supercomputing applications and tool development, command-and-control, sensor, flight software, satellite-based navigation, and enterprise systems software development. He has thirteen years of teaching introductory physics, math, philosophy, and computer science. He has 170 publications in refereed venues.  His current research interests include automated theorem proving applications in mathematics, and characterizing the limits of software verification.