Patrick MacKay

Co-founder at Pi Squared

Patrick MacKay is an accomplished professional with significant leadership experience in technology and business operations. Currently, MacKay serves as Co-Founder of Pi Squared Inc., focused on developing a universal proof system solution. Prior to this role, MacKay was Chief Operating Officer at Runtime Verification, managing operations in a 60-person company dedicated to software verification tools. As Site Director and General Manager at Capital One, MacKay established the first campus-based R&D center, achieving substantial project success and recruitment growth. MacKay has also held leadership positions at 004 Technologies USA and served as a Strategic Advisor at Fanzlive, Inc. With a solid educational background, including a BSFS from Georgetown University and an MBA from the University of Illinois, MacKay has demonstrated expertise in product development, budgeting, and business strategy across multiple sectors.

Location

Champaign, United States

Links

Previous companies


Org chart


Teams

This person is not in any teams


Offices


Pi Squared

We are building Pi Squared, a universal proof system solution to efficiently and correctly verify the execution of any program in any programming or virtual machine (VM) language.