We made π²

Our team is dedicated to taking verifiable computing to the next level: lightning fast and correct-by-construction.

Grigore Rosu

Grigore Rosu

Founder & CEO
Patrick MacKay

Patrick MacKay

COO
Xiaohong Chen

Xiaohong Chen

CTO
Dwight Guth

Dwight Guth

Head of Engineering
Sriram Vishwanath

Sriram Vishwanath

Head of BD/Growth
Chris Hazelton

Chris Hazelton

Head of Marketing
Miruna Roșca

Miruna Roșca

Head of Cryptography
Ilja Zakharov

Ilja Zakharov

Engineering Manager
Musab Alturki

Musab Alturki

Senior Blockchain Lead
Mihai Calancea

Mihai Calancea

ZK Proof Team Lead
Nicholas Harness

Nicholas Harness

Ecosystem Lead
Roberto Gomes Rosmaninho Neto

Roberto Gomes Rosmaninho Neto

Compiler Engineer
Yi Zhang

Yi Zhang

Software Engineer
Chenglong Ma

Chenglong Ma

Full-stack Engineer
Reeka Maharaj

Reeka Maharaj

Technical Writer
Brandon Moore

Brandon Moore

Software Engineer
Theodoros Kasampalis

Theodoros Kasampalis

Compiler Engineer
Traian-Florin Șerbănuță

Traian-Florin Șerbănuță

Software Engineer
Nishant Rodrigues

Nishant Rodrigues

Research Collaborator
Octavian Mircea Sebe

Octavian Mircea Sebe

Software Engineer
Yan Liu

Yan Liu

Software Engineer
Dorel Lucanu

Dorel Lucanu

Research Collaborator
Bolton Bailey

Bolton Bailey

Proof Engineer
Steven Eker

Steven Eker

Senior Software Engineer
Max Fan

Max Fan

Intern
Alex Oltean

Alex Oltean

Software Engineer
Curt J. Sampson

Curt J. Sampson

Senior Software Engineer
Close

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.

Andrew Miller

Andrew Miller

Pratyush Mishra

Pratyush Mishra

Yilong Li

Yilong Li

Sreeram Kanan

Sreeram Kanan

Harjasleen Malvai

Harjasleen Malvai

Close
Andrew Miller

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.

Shumo Chu

Shumo Chu

Harish Devarajan

Harish Devarajan

Justin Drake

Justin Drake

Sreeram Kanan

Sreeram Kanan

George Lambeth

George Lambeth

Yilong Li

Yilong Li

Calvin Liu

Calvin Liu

Lucian Mincu

Lucian Mincu

Karthik Raju

Karthik Raju

Common Prefix

Common Prefix

Close
Shumo Chu

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.

Think you’d be a good addition to our team?

Careers