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.