Suggestions
Grigore Rosu
Professor at University of Illinois at Urbana-Champaign and President and CEO at Runtime Verification
Grigore Rosu is a distinguished researcher, educator, and entrepreneur known for his contributions in programming languages, formal methods, and software engineering. With a Ph.D. in Computer Science from UC San Diego and a Doctor of Philosophy from the University of California, San Diego, he is a prominent figure in academia and industry. Currently serving as a Professor at the University of Illinois at Urbana-Champaign, Grigore Rosu has also held key roles as the President and CEO at Runtime Verification and as a Research Scientist at NASA Ames Research Center. His primary focus lies in developing techniques to enhance the quality, performance, and efficiency of computing systems.