Grigore Rosu

Grigore Rosu

Founder and CEO of Runtime Verification, Inc.

Grigore Rosu is a researcher, educator, and entrepreneur in the areas of formal methods, software engineering and programming languages. Before joining UIUC in 2002, he was a research scientist at NASA Ames. He was offered the CAREER award by the NSF, and the Dean's award for excellence in research and the outstanding junior award by UIUC.

Articles by 

Grigore Rosu

Browse all articles
No items found.