Pi Squared

Creator of Pi Squared Blog

Xiaohong Chen is the Chief Technology Officer, a formal methods engineer, and a zero-knowledge (ZK) researcher at Pi Squared Inc.

Musab Alturki is a senior research engineer leading the design and implementation of the Universal Settlement Layer (USL), realizing the vision of Pi Squared Inc.

Grigore Rosu the Founder & CEO of Pi Squared. He is also a Computer Science professor at the University of Illinois at Urbana-Champaign (UIUC), where he leads the Formal Systems Laboratory (FSL).