Grigore Roșu

Grigore Roșu is the founder and CEO of Runtime Verification, a software company that specializes in program verification. Prior to starting Runtime Verification, they were a research scientist at NASA Ames Research Center, where they worked on program synthesis and verification. Grigore has also worked as a software engineer at the University of Illinois at Urbana-Champaign and as a software developer at SpringLabs, LLC.

Grigore Roșu is a Doctor of Philosophy (Ph.D.) in Computer Science at the UC San Diego Jacobs School of Engineering.

Some direct reports include Yale Vinson - Senior Product Manager, Tom Lindeman - Chief Strategy Officer, and Silvia Barredo - Marketing Manager.