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, and especially in how to combine these to increase the safety, security and dependability of computing systems. He was offered the NSF CAREER award, the UIUC outstanding junior award, the Dean’s award for excellence in research, and several best paper awards. Grigore got his Ph.D. from the University of California at San Diego.