page_title: Grigore Rosu
hierarchical_section_title: Grigore Rosu
caption_attribution_description: English: A recent picture of Grigore Rosu taken in 2020
context_page_description: 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.
context_section_description: 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.
caption: Rosu in 2020
exif: {"Image Tag 0x000B": "Windows Photo Editor 10.0.10011.16384", "Image Orientation": "Horizontal (normal)", "Image Software": "Windows Photo Editor 10.0.10011.16384", "Image DateTime": "2020:02:09 11:45:07", "Image ExifOffset": "2242", "Image Padding": "[]", "Thumbnail Compression": "JPEG (old-style)", "Thumbnail XResolution": "96", "Thumbnail YResolution": "96", "Thumbnail ResolutionUnit": "Pixels/Inch", "Thumbnail JPEGInterchangeFormat": "4516", "Thumbnail JPEGInterchangeFormatLength": "6208", "EXIF DateTimeOriginal": "2020:02:09 11:43:26", "EXIF DateTimeDigitized": "2020:02:09 11:43:26", "EXIF SubSecTimeOriginal": "00", "EXIF SubSecTimeDigitized": "00", "EXIF ColorSpace": "sRGB", "EXIF Padding": "[]"}