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
Sriram Vishwanath

Sriram Vishwanath

Head of BD/Growth
Dwight Guth

Dwight Guth

Head of Engineering
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
Ylies Falcone

Ylies Falcone

Tech Lead/Researcher
Nicholas Harness

Nicholas Harness

Ecosystem Lead
Bolton Bailey

Bolton Bailey

Proof Engineer
Steven Eker

Steven Eker

Senior Software Engineer
Sean Koo

Sean Koo

Associate Project Manager
Reeka Maharaj

Reeka Maharaj

Documentation Engineer
Roberto Gomes Rosmaninho Neto

Roberto Gomes Rosmaninho Neto

Compiler Engineer
Theodoros Kasampalis

Theodoros Kasampalis

Compiler Engineer
Chenglong Ma

Chenglong Ma

Blockchain Developer
Brandon Moore

Brandon Moore

Software Engineer
Traian-Florin Șerbănuță

Traian-Florin Șerbănuță

Software Engineer
Dorel Lucanu

Dorel Lucanu

Research Collaborator
Yi Zhang

Yi Zhang

Software Engineer
Nishant Rodrigues

Nishant Rodrigues

Research Collaborator
Octavian Mircea Sebe

Octavian Mircea Sebe

Software Engineer
Yan Liu

Yan Liu

Software Engineer
Max Fan

Max Fan

Intern
Alex Oltean

Alex Oltean

Software Engineer
Dmitry Vlasov

Dmitry Vlasov

Verification Engineer
Jin Xing Lim

Jin Xing Lim

Software Engineer
Emeka Onwuliri

Emeka Onwuliri

Blockchain Developer
Ovidiu Damian

Ovidiu Damian

Blockchain Developer
Jyoti Bhanot

Jyoti Bhanot

DevOps Engineer
Maria Kotsifakou

Maria Kotsifakou

Software Engineer
Virgil Serbanuta

Virgil Serbanuta

Software Engineer
Noah Watson

Noah Watson

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.

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
Harish Devarajan

Harish Devarajan

Harish is an active participant in technology investing, with a particular focus on deep tech and geostrategically sensitive companies in space, AI, cleantech, agtech and other technology sectors.

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

Careers