Founders

Runtime Verification1 item

  1. Grigore Rosu

    UIUC professor | Runtime Verification founder | Creator of the K framework

    1. Pi² Labs

      Board Member

      2023-11 – Present

    2. Runtime Verification

      Founder and Scientist

      2010-01 – Present

    3. University of Illinois Urbana-Champaign

      Professor

      2002-08 – Present

Runtime Verification | Cosign