Grigore Rosu, Angel Investor

Grigore Roșu is a professor at the University of Illinois Urbana-Champaign, where he has taught computer science for over two decades. He is the founder and CEO of Pi Squared and president of Runtime Verification, advancing formal methods and verification technologies for software systems. Grigore also advises startups, including Hatom Labs and SpringLabs, reflecting his focus on applied research and entrepreneurial innovation. As an angel investor, he has backed Kite AI, supporting its mission to build advanced AI solutions.