Grigore Roșu

contributor

The author is an independent contributor writing an opinion or expert take. Views expressed are the author’s own and may not reflect Cointelegraph’s editorial position. Grigore Roșu is a professor of computer science at the University of Illinois and a former NASA engineer, where he developed the K Framework - an open-source "Rosetta Stone" for programming language semantics. Grigore also founded Runtime Verification, now the leading formal verification company in Web3. In 2023, he founded Pi Squared with a vision to solve fragmentation and trust limitations in today's blockchain infrastructure.

Financial disclosure: Grigore Roșu does not currently hold any positions in cryptocurrencies or other digital assets. Cointelegraph's editorial policy requires all staff to disclose holdings that may present a conflict of interest.