Grigore Roșu
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Age | 52 |
| Date of birth | December 12,1971 |
| Zodiac sign | Sagittarius |
| Education | University of California San Diego |
| University of Bucharest | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3653340 |
Grigore Roșu Life story
Grigore Roșu 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, K framework, matching logic, and automated coinduction.
