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
Yi Zhang
Chief Architect
Sriram Vishwanath
Head of BD/Growth
Dwight Guth
Head of Engineering
Chris Hazelton
Head of Marketing
Miruna Roșca
Head of Cryptography
Ilja Zakharov
Engineering Manager
Musab Alturki
Senior Blockchain Lead
Nicholas Harness
Ecosystem Lead
Bolton Bailey
Proof Engineer
Steven Eker
Senior Software Engineer
Sean Koo
Associate Project Manager
Roberto Gomes Rosmaninho Neto
Compiler Engineer
Theodoros Kasampalis
Compiler Engineer
Chenglong Ma
Blockchain Developer
Brandon Moore
Software Engineer
Traian-Florin Șerbănuță
Software Engineer
Dorel Lucanu
Research Collaborator
Nishant Rodrigues
Research Collaborator
Octavian Mircea Sebe
Software Engineer
Yan Liu
Software Engineer
Max Fan
Intern
Alex Oltean
Software Engineer
Dmitry Vlasov
Verification Engineer
Jin Xing Lim
Software Engineer
Ovidiu Damian
Blockchain Developer
Jyoti Bhanot
DevOps Engineer
Maria Kotsifakou
Software Engineer
Stephen Skeirik
Software Engineer
Virgil Serbanuta
Software Engineer
Noah Watson
Software Engineer
Kaikai Qi
Full-Stack Engineer
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
Harish Devarajan
Justin Drake
Sreeram Kanan
George Lambeth
Yilong Li
Calvin Liu
Lucian Mincu
Karthik Raju
Common Prefix
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.