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

Org chart

Manager

No manager

Direct reports

Everett Hildenbrandt

CTO

Dwight Guth

Chief Information Officer

Melissa Baber

Product Manager

View all

View in org chart
Teams

No teams

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.