We made π²
Our team is dedicated to taking verifiable computing to the next level: lightning fast and correct-by-construction.
Team
Grigore Rosu
Founder & CEO
Patrick MacKay
COO
Xiaohong Chen
CTO
Dwight Guth
Head of Engineering
Sriram Vishwanath
Head of BD/Growth
Chris Hazelton
Head of Marketing
Miruna Roșca
Head of Cryptography
Ilja Zakharov
Engineering Manager
Musab Alturki
Senior Blockchain Lead
Nicholas Harness
Ecosystem Lead
Roberto Gomes Rosmaninho Neto
Compiler Engineer
Yi Zhang
Software Engineer
Chenglong Ma
Blockchain Engineer
Reeka Maharaj
Technical Writer
Brandon Moore
Software Engineer
Theodoros Kasampalis
Compiler Engineer
Traian-Florin Șerbănuță
Software Engineer
Nishant Rodrigues
Research Collaborator
Octavian Mircea Sebe
Software Engineer
Yan Liu
Software Engineer
Dorel Lucanu
Research Collaborator
Bolton Bailey
Proof Engineer
Steven Eker
Senior Software Engineer
Max Fan
Intern
Alex Oltean
Software Engineer
Curt J. Sampson
Senior Software Engineer
Dmitry Vlasov
Verification Engineer
Sean Koo
Associate Project Manager
Ylies Falcone
Tech Lead/Researcher
Grigore Rosu
Founder & CEO
Grigore Rosu is a Computer Science professor at the University of Illinois at Urbana-Champaign (UIUC), where he leads the Formal Systems Laboratory (FSL), and also the Founder and Chief Scientist of Runtime Verification Inc. Previously, he was a scientist at NASA. He is interested in programming languages, formal methods, software engineering and cryptography, and especially in how to combine these to increase the safety, security, and dependability of computing systems. He was offered the NSF CAREER award, the UIUC outstanding junior award, the Dean's award for excellence in research, and several best paper and test of time awards. Grigore is an IEEE and AAAS fellow, and got his Ph.D. from the University of California at San Diego.
Advisors
Andrew Miller
Pratyush Mishra
Yilong Li
Sreeram Kanan
Harjasleen Malvai
Andrew Miller
Andrew Miller is a Professor at the University of Illinois, Urbana-Champaign, in Electrical and Computer Engineering and in Computer Science. He is the Associate Director of the Initiative for Cryptocurrencies and Contracts (IC3) and a board member of the Zcash Foundation. He received his Ph.D. from the University of Maryland Cybersecurity Center.
Angels
Shumo Chu
Harish Devarajan
Justin Drake
Sreeram Kanan
George Lambeth
Yilong Li
Calvin Liu
Lucian Mincu
Karthik Raju
Common Prefix
Shumo Chu
Shumo Chu is the co-founder of NEBRA Labs. Prior to Nebra Shumo co-founded p0x labs and was a system researcher at Algorand. He is an Assistant Professor at UC Santa Barbara.