Sign In
Get Clay Free →

Suggestions

    Grigore Rosu

    Professor at University of Illinois at Urbana-Champaign and President and CEO at Runtime Verification

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

    Roșu received his Ph.D. in Computer Science from the University of California at San Diego in 2000.13 He worked as a research scientist at NASA Ames Research Center from 2000 to 2002 before joining UIUC as an assistant professor in 2002.12 He was promoted to associate professor in 2008 and full professor in 2014.3

    At UIUC, Roșu leads the Formal Systems Laboratory (FSL).2 He is also the founder and president of Runtime Verification, Inc. (RV), a company focused on developing and applying formal methods to improve software systems.24

    Roșu has received several awards for his work, including:

    • The NSF CAREER award23
    • The Dean's award for excellence in research from the College of Engineering at UIUC in 20142
    • The outstanding junior award from the Computer Science Department at UIUC in 20052
    • The ASE IEEE/ACM most influential paper award in 201623
    • The RV test of time award23
    • Multiple ACM SIGSOFT distinguished paper awards23

    His research interests encompass theoretical foundations and system development in formal methods, software engineering, and programming languages.2 Roșu has made significant contributions to the field of runtime verification and developed the K framework for programming language design and analysis.13

    Highlights

    Dec 14 · dblp.org
    Grigore Rosu - DBLP
    Grigore Rosu | Siebel School of Computing and Data Science | Illinois
    Grigore Rosu | Siebel School of Computing and Data Science | Illinois
    Dec 6 · encyclopedia.pub
    Grigore Rosu | Encyclopedia MDPI
    ‪Grigore Rosu‬ - ‪Google Scholar‬
    Jan 1 · springlabs.com
    Grigore Rosu - Spring Labs

    Related Questions

    What is the K framework and how does it work?
    Can you explain the concept of matching logic?
    What are some practical applications of runtime verification?
    How did Grigore Rosu contribute to the field of formal methods?
    What is the significance of circular coinduction in Rosu's research?
    Grigore Rosu
    Grigore Rosu, photo 1
    Grigore Rosu, photo 2
    Add to my network

    Location

    Champaign, Illinois