About Grigore Rosu
Grigore Rosu is a professor at the Siebel School of Computing and Data Science at the University of Illinois Urbana-Champaign. He leads the Formal Systems Laboratory, which he founded in 2002 when he joined Illinois from NASA. He also founded three companies: Runtime Verification, Pi Squared and Intent Computing. His research covers programming language design, formal methods, and the use of artificial intelligence to generate formally verified code from intent.
Before he joined Illinois in 2002, he was a research scientist at NASA Ames. In 2010 he founded Runtime Verification, Inc. to commercialize runtime verification technology. Its customers include NASA, Boeing, Toyota, Denso and blockchain companies such as Tezos and Algorand. He created the K framework in 2003 and has worked on its logical foundation, matching logic, since 2010. He is an IEEE Fellow and an AAAS Fellow.
Experience
This experience comes from official bios and from SEC filings. For roles taken from filings, the years are when the filings name Grigore Rosu in the role, so the role may have started earlier or lasted longer.
Key Colleagues at Startups
The people Grigore Rosu works with at each company, as listed on that company's latest Form D.