Pi Squared
Musab A. Alturki is a highly experienced professional in the field of computer science and blockchain technology. Currently serving as the Senior Blockchain Lead at Pi Squared Inc., Musab A. Alturki leads the development of trustless blockchain solutions leveraging cryptographic zero-knowledge proofs. Prior experience includes a role as Senior Research Engineer at Runtime Verification, where significant contributions were made to secure blockchain systems through formal modeling, verification of decentralized consensus protocols, and leading security audits for the Algorand ecosystem. Academic experience includes positions as an Assistant Professor and Assistant Dean of Scientific Research at King Fahd University of Petroleum & Minerals, along with a visiting research scholarship at the University of Pennsylvania. Musab A. Alturki holds a PhD and MSc in Computer Science from the University of Illinois Urbana-Champaign, as well as a Bachelor's degree from King Fahd University of Petroleum & Minerals.
This person is not in any teams
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.