ExploreIterate

Grigore Roșu

Founder & CEO

Grigore Roșu is a Computer Science professor at the University of Illinois at Urbana-Champaign (UIUC), where he leads the Formal Systems Laboratory (FSL). Previously, he was a scientist at NASA, where he coined the term runtime verification with his colleagues. He is interested in programming languages, formal methods, and software engineering, ...


Social

Roles at Runtime Vеrification

  • Founder & CEO

    Current role


My work style

How I prefer to work

Qualities I value in my colleagues

Sign up to see more about the team at Runtime Vеrification

My pet peeves

My communication style

By clicking "Continue" or continuing to use our site, you acknowledge that you accept our Privacy Policy and Terms of Use. We also use cookies to provide you with the best possible experience on our website.