ÂÜÀòÂÒÂ×

Grigore Rosu is a Professor at the University of Illinois at Urbana-Champaign since August 2002 and holds the positions of President and CEO at both Pi Squared Inc. and Runtime Verification, roles assumed in November 2023 and January 2010 respectively. Additionally, Grigore serves as a Technical Adviser for Hatom Labs, Elrond Network, and SpringLabs, LLC since November 2022, May 2019, and July 2018, respectively. Previous experience includes working as a Research Scientist at NASA Ames Research Center from August 2000 to August 2002, focusing on program synthesis and verification. Grigore Rosu earned a Doctor of Philosophy (Ph.D.) in Computer Science from the UC San Diego Jacobs School of Engineering between 1996 and 2000.