Musab Alturki

@Pi-Squared-Inc Champaign, IL Senior Blockchain Lead @ π² | Pi Squared Inc. | Formal software systems modeling, design, and verification