Experience
    Education
    Bio
    Grigore Rosu is a professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), where he leads the Formal Systems Laboratory (FSL), and the founder and president of Runtime Verification, Inc (RV). His research interests encompass both theoretical foundations and system development in the areas of formal methods, software engineering and programming languages. Before joining UIUC in 2002, he was a research scientist at NASA Ames. He obtained his Ph.D. at the University of California at San Diego in 2000. He was offered the CAREER award by the NSF, the Dean's award for excellence in research by the College of Engineering at UIUC in 2014, and the outstanding junior award by the Computer Science Department at UIUC in 2005. He won the ASE IEEE/ACM most influential paper award in 2016 (for an ASE 2001 paper that helped shape the runtime verification field), the ACM SIGSOFT distinguished paper awards at ASE 2008, ASE 2016, and OOPSLA 2016, and the best software science paper award at ETAPS 2002. He was ranked a UIUC excellent teacher in Spring 2013, Fall 2012, Spring 2008 and Fall 2004.

    Awards and Distinctions
    • “Dean’s Award for Excellence in Research”, 2014, offered by the College of Engineering of the
    University of Illinois at Urbana-Champaign. [Link]
    • UIUC’s “Spring 2013 List of Teachers Ranked as Excellent by Their Students”. [Link]
    • UIUC’s “Fall 2012 List of Teachers Ranked as Excellent by Their Students”. [Link]
    • ACM SIGSOFT distinguished paper award at ASE 2008. [Link]
    • UIUC’s “Spring 2008 List of Teachers Ranked as Excellent by Their Students”. [Link]
    • “C.W. Gear Outstanding Junior Faculty Award”, 2005, offered by the Department of Computer Science
    of the University of Illinois at Urbana-Champaign for research/teaching accomplishments. [Link]
    • “CAREER” award, under the program “Software Engineering and Languages” 2005, offered by the
    National Science Foundation (NSF). [Link]
    • UIUC’s “Fall 2004 List of Teachers Ranked as Excellent by Their Students”. [Link]
    • “European Association for the Study of Science and Technology” award winner for the best software
    science paper at ETAPS 2002. [Link]
    • “Irina Gorun-Bercovici memorial prize”, 22 December 1997, offered by the Society of Mathematicians
    from Romania (once a year to a young researcher in computer science).
    • 1
    st place, National Symposium “Info-Junior”, Ias¸i 1995, Romania, with Inclusive Equational Logics.
    • 2
    nd place, National Symposium “Info-Junior”, Ias¸i 1993, Romania, with Knuth-Bendix Completion
    in Prolog.
    Papers
    1) Andrei Popescu and Grigore Ros¸u. “Term-Generic Logic”, Theoretical Computer Science, Volume
    577, Issue 1, 2015, pages 1-24.
    2) Joerg Endrullis, Dimitri Hendriks, Rena Bakhshi and Grigore Ros¸u. “On the Complexity of Stream
    Equality”, Journal of Functional Programming, Volume 24, Issue 2-3, 2014, pages 166-217.
    3) Jose Meseguer and Grigore Ros¸u. “The Rewriting Logic Semantics Project: A Progress Report”, ´
    Information and Computation, Volume 231, 2013, pages 38-69.
    4) Grigore Ros¸u. “On Safety Properties and Their Monitoring”, Scientific Annals of Computer Science,
    Volume 22, Issue 2, 2012, pages 327-365.
    5) Patrick Meredith, Dongyun Jin, Dennis Griffith, Feng Chen and Grigore Ros¸u. “An Overview of the
    MOP Runtime Verification Framework”, Software Tools for Technology Transfer, Volume 14, Issue 3,
    2012, pages 249-289.
    6) Grigore Ros¸u and Feng Chen. “Semantics and Algorithms for Parametric Monitoring”, Logical Methods
    in Computer Science, Volume 8, Issue 1, 2012, pages 1-47.
    7) Grigore Ros¸u and Traian Florin S¸ erbanut¸ ˘ a. “An Overview of the K Semantic Framework”, ˘ Logic and
    Algebraic Programming, Volume 79, Issue 6, 2010, pages 397-434.
    8) Patrick Meredith, Dongyun Jin, Feng Chen and Grigore Ros¸u. “Efficient Monitoring of Parametric
    Context-Free Patterns”, Automated Software Engineering, Volume 17, Number 2, 2010, pages 149-
    180.
    9) Andrei Popescu, Traian Florin S¸ erbanut¸ ˘ a and Grigore Ros¸u. “A Semantic Approach to Interpolation”, ˘
    Theoretical Computer Science, Volume 410, Issues 12-13, 2009, pages 1109-1128.
    10) Traian Florin S¸ erbanut¸ ˘ a, Grigore Ros¸u and Jos ˘ e Meseguer. “A Rewriting Logic Approach to Opera- ´
    tional Semantics”, Information and Computation, Volume 207, Number 2, 2009, pages 305-340.
    11) Jose Meseguer and Grigore Ros¸u. “The Rewriting Logic Semantics Project”. ´ Theoretical Computer
    Science, Volume 373, Number 3, 2007, pages 213-237.
    12) Grigore Ros¸u and Koushik Sen. “An Instrumentation Technique for Online Analysis of Multithreaded
    Systems”. Concurrency and Computation: Practice and Experience, Volume 19, Number 3, March
    2007, pages 311-325.