Jon is a senior software person with a M.S. degree in computer science with specialization in software engineering and testing from Colorado State University and B.S. Degree in Math with specialization in civil engineering and software from Metropolitan State College of Denver, Colorado. He has experience in the software domain of real-time, reactive embedded control systems and mobile smart devices as well as test software development using numerous languages. He has over 100 publications and presentations on software reliability, testing, test tools, formal methods, and critical-systems..