Sign In

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