Patrick is the Chief Operating Officer of Runtime Verification, a technology R&D company that provides software reliability tools and services to the public and private sector clients in the automotive, aerospace, blockchain space. Our product suite includes predict, match, monitor, and the RV Toolkit. Together they support dynamic analysis for C and C++ programs.