Grigore Roșu
Grigore Roșu (born December 12, 1971) is a computer science professor at the University of Illinois at Urbana-Champaign and a researcher in the
Information Trust Institute.
He is known for his contributions in runtime verification, the K framework,
matching logic,
and automated coinduction.
Provided by Wikipedia
1
