Patrick MacKay is an accomplished professional with a diverse background that spans across various industries. He currently serves as the Chief Operating Officer at Runtime Verification, where he oversees the company's software reliability tools and services division. Prior to this role, he was the founding director of the Capital One Illinois Digital Campus Lab, where he spearheaded the bank's first R&D operation on a university campus. He has also held leadership positions with other well-known firms, such as 004 Technologies USA and Fanzlive, Inc. Patrick studied International Politics at Georgetown University before earning his MBA in General Management and Finance from the Gies College of Business at the University of Illinois Urbana-Champaign. He is a versatile professional with extensive experience in project management, product development, and strategic planning. Patrick's interests and expertise include dynamic analysis for C and C++ programs, formal verification of smart contracts in the blockchain space, and virtual machine design.