Grigore Roşu

Professor, Siebel School of Computing and Data Science
University of Illinois at Urbana-Champaign · grosu@illinois.edu

I work on programming language design and semantics, formal methods and verification, and on artificial intelligence and its applications to autogeneration of formally verified code from intent. I coined the field Runtime Verification in 2001 in a NASA workshop, and created the K framework in 2003 and its logical foundation, matching logic, from 2010 on. I lead the Formal Systems Laboratory (FSL), which I founded in 2002 when I joined Illinois from NASA. I founded the companies Runtime Verification, Pi Squared and Intent Computing. I am an IEEE Fellow and an AAAS Fellow.

Teaching

• Spring 2026: CS521 – Foundations of Crypto: From Blockchain to Present
• Fall 2025: CS422 – Programming Language Design
• Spring 2025: CS521 – Technological Foundations of Blockchain and Cryptocurrency
• Fall 2024: CS422 – Programming Language Design
• Spring 2024: CS522 – Programming Language Semantics
• Fall 2023: CS422 – Programming Language Design
• Spring 2023: Sabbatical
• Fall 2022: Sabbatical
• Spring 2022: CS422 – Programming Language Design
• Fall 2021: CS522 – Programming Language Semantics
• Spring 2021: CS422 – Programming Language Design
• Fall 2020: CS427 – Software Engineering I
• Spring 2020: CS422 – Programming Language Design
• Fall 2019: CS427 – Software Engineering I
• Spring 2019: CS422 – Programming Language Design
• Fall 2018: CS522 – Programming Language Semantics
• Spring 2018: CS422 – Programming Language Design

Students

Joining my group

• Jeff Zou (current)
• Mircea Sebe (current)
• Manasvi Saxena (UIUC 2018-2025, PhD).
• Nishant Rodrigues (UIUC 2018-2025, PhD).
• Xiaohong Chen (UIUC 2016-2023, PhD). Pi Squared, USA.
• Lucas Peña (UIUC 2015-2022, PhD; coadvised with Madhusudan Parthasarathy). Tweag, USA.
• Ali Kheradmand (UIUC 2014-2021, PhD; coadvised with Brighten Godfrey). Google, USA.
• Owolabi Legunsen (UIUC 2013-2020, PhD; coadvised with Darko Marinov). Cornell, USA.
• Yi Zhang (UIUC 2013-2020, PhD). Pi Squared, USA.
• Andrew Miranti (UIUC 2018-2019, MS).
• Daejun Park (UIUC 2013-2019, PhD). Runtime Verification, USA.
• Michael Abir (UIUC 2018-2019, MS). UCLA, PhD program.
• Cosmin Rădoi (UIUC 2013-2018, PhD). Asymptotic, USA.
• Manasvi Saxena (UIUC 2017-2018, MS). UIUC, PhD program.
• Minh Thai Trinh (NUS/ADSC Singapore, from 2018, postdoc).
• Yilong Li (UIUC 2014-2018, undergraduate). MegaETH.
• Brandon M. Moore (UIUC 2012-2017, PhD). Runtime Verification, USA.
• Andrei Ştefănescu (UIUC 2009-2016, PhD). Asymptotic, USA.
• He Xiao (UIUC 2014-2016, left PhD program).
• Shijiao Yuwen (UIUC 2014-2016, left PhD program).
• Manasvi Saxena (UIUC 2014-2015, undergraduate).
• Philip Daian (UIUC 2012-2015, undergraduate). Flashbots, USA.
• Qingzhou Luo (UIUC 2010-2015, PhD; coadvised jointly with Darko Marinov). Pinterest, USA.
• Cansu Erdogan (UIUC 2012-2014, M.S.). Chicago software company, USA.
• Jeff Huang (UIUC 2013-2014, postdoc). He got his PhD from the Hong Kong UST in 2012. Texas A&M University, USA.
• Michael D. Adams (UIUC 2013-2014, postdoc). He got his PhD from Indiana University in 2011. National University of Singapore.
• Choonghwan Lee (UIUC 2008-2013, PhD). New York software company, USA.
• Dwight Guth (UIUC 2012-2013, M.S). Runtime Verification, USA.
• Chucky Ellison (UIUC 2007-2012, PhD). Emerald Innovations, USA.
• Codruţa Gârlea (UIUC 2010-2012, coadvised jointly with Eyal Amir). Advised by Eyal after 2012. Lyft, USA.
• David Lazar (UIUC 2009-2012, undergraduate).
• Dongyun Jin (UIUC 2007-2012, PhD). AWS, USA.
• Francisco Rios (UIUC 2008-2012, Mathematics Department at UIUC).
• Patrick Meredith (UIUC 2007-2012, PhD). Oracle, USA.
• Soha Hussein (UIUC 2009-2011, visiting, from University of Ain Shams, Egypt). Ain Shams University, Egypt.
• Dennis Griffith (UIUC 2009-2010). Advised by Elsa Gunter after 2010.
• Elena Naum (UIUC 2010, visiting, from University Alexandru Ioan Cuza, Iasi, Romania).
• Michael Ilseman (UIUC 2009-2010, undergraduate).
• Traian Florin Şerbănuţă (UIUC 2004-2010, PhD). University of Bucharest, Romania, and RV, USA.
• Feng Chen (UIUC 2002-2009, Ph.D.). Iowa State University, USA. In memoriam, 2009.
• Mark Hills (UIUC 2004-2009, Ph.D.). Appalachian State University, USA.
• Yaniv Eytani (UIUC 2006-2008).
• Andrei Popescu (UIUC 2004-2006). Advised by Elsa Gunter after 2006. University of Sheffield, UK.
• Andrew Bennett (UIUC 2005-2006, M.S.). Boston software company, USA.
• Marcelo d'Amorim (UIUC 2004-2005). Advised by Darko Marinov after 2005. North Carolina State University, USA.
• Sanjit Saluja (UIUC 2004-2005).
• Sophie Quinton (UIUC 2004-2005, visiting, from ENS Cachan, France). INRIA, France.
• Ram Prasad Venkatesan (UIUC 2002-2004, M.S.). Microsoft in Redmond, USA.
• Laurenţiu Leuştean (NASA 2002, visiting, from the University of Bucharest, Romania). University of Bucharest, Romania.
• Scott Johnson (NASA 2001, visiting, from the University of Wyoming, USA).