Grigore Rosu - Biography, Curriculum Vitae, and Research
(back to Grigore Rosu's webpage)
Grigore Rosu is an associate professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), where he leads the Formal Systems Laboratory (FSL). 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 and his M.S. at the University of Bucharest, Romania, in 1996. He was offered the CAREER award by the NSF and the outstanding junior award by the Computer Science Department at UIUC in 2005. He won an ACM SIGSOFT distinguished paper award at ASE 2008 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.
Complete curriculum vitae
- Ph.D. in Computer Science, University of California at San Diego, USA, 2000
- M.S. in Fundamentals of Computing, University of Bucharest, Romania, 1996
- B.A. in Mathematics, University of Bucharest, Romania, 1995
- [2008 to now] Associate Professor, University of Illinois at Urbana-Champaign, USA
- [2002 to 2008] Assistant Professor, University of Illinois at Urbana-Champaign, USA
- [2000 to 2002] Research Scientist, NASA Ames Research Center - RIACS, USA
- [1998 to 2002] Assistant Professor, University of Bucharest, Romania (never practiced it, so they fired me)
- [Summer 2000] Instructor, University of California at San Diego, USA
- [1996-2000] Research assistant, teaching assistant and Ph.D. student, University of California at San Diego, USA
- [1996-1998] Preparator, University of Bucharest, Romania
- [1994-1996] Consultant, Automation Research Institute IPA, Romania
- [1995-1996] Teaching assistant, research assistant and M.S. student, University of Bucharest, Romania
Grigore Rosu's research initiatives fall into one or more of the following areas:
- Design, semantics and implementation of programming and specification languages.
- Automated software engineering and formal methods, especially push-button techniques for certification, monitoring, synthesis and modularization.
- Dynamic and static analysis.
- Automated reasoning about computer systems, applications of logics, theorem proving.
- Term Rewriting.
- Algorithms and complexity theory.
- Algebra, coalgebra, category theory.
(in reversed chronological order on the start date)
- Rockwell Collins (PI). Semantics-Based Analysis Framework for C. $125,000 for the period 2012-2013.
- NSF CCF-1318191 (co-PI). SHF: Small: VeriF-OPT, a Verification Framework for Optimizations and Program Transformations. $466k for 2013-2016.
- DARPA HACMS (UIUC PI). Design and Assurance for the Modular Assembly of Sense Control – Actuate Systems (DAMASCAS). Joint project with SRI International (CSL). UIUC share $1,657,807 for 2012-2017.
- Boeing (co-PI). Formal Analysis of Real-Time Distributed Systems. $240,000 for the period 2012-2013.
- NSF CCF-1218605 (PI). SHF: Small: Usable Verification using Rewriting and Matching Logic. $400k for 2012-2015.
- Google Summer of Code (FSL was an accepted organization). K Framework. ~$24k for Summer 2012.
- UIUC Campus Research Board Award (PI). $9k for 2010-2011.
- NSA (PI). Formal Verification of C Programs using Rewriting Logic Semantics and Matching Logic. $754k for 2010-2013.
- Samsung SAIT (PI). Static and Dynamic Analysis Tool for Testing Concurrent Enbedded Systems. $100k for 2010-2011.
- NSF CCF-0916893 (co-PI). SHF: Small: IMUnit: Improved Multithreaded Unit Testing. $500k for 2009-2012.
- NASA-NNL08AA23C (PI). An Integrated Tool-Supported Framework for IVHM Monitoring, Control and Verification. $900k for 2008-2010 (Qualtech Systems is a 50% subcontractor).
- Air Force / Small Business Technology Transfer (STTR), phase I award, Topic Number AF07-T019, Proposal Number F074-019-0162 (PI). Scalable Formal Methods for Distributed Systems. Subcontracted by Qualtech Systems. $40k for the period 2007-2008.
- NSF CNS-0720512 (co-PI). CSR-EHS: Monitor and Control: Towards Dependable COTS-based Real-Time Embedded Systems. $400k for the period 2007-2010.
- UIUC Campus Research Board Award (PI). $9k for 2007-2008.
- Microsoft Research gift (PI). $35k (Recommended by James Larus) in 2007.
- Microsoft Research gift (PI). $15k (Recommended by Tom Ball) in 2007.
- NSF CNS-0509321 (co-PI). CSR-SMA: Dynamic Analysis and Control for Robust Scalable Open Distributed Systems. $700k for the period 2005-2009.
- NSF CCF-0448501 (PI) - CAREER: Runtime Verification and Monitoring. $400k for the period 2005-2010.
- Microsoft Research gift (PI). $10k (Recommended by Wolfram Schulte) in 2005.
- C.W. Gear Outstanding Junior Faculty award (PI). Department of Computer Science, University of Illinois at Urbana-Champaign. $5k as unrestricted gift in 2005.
- NASA-NNA04CI49A (PI). Scalable Formal Methods for Multidimensional Components. $80k for the period 2003-2004 (in collaboration with the NSF grant below).
- NSF CCF-0234524 (PI) - Scalable Formal Methods for Multidimensional Components. $400k for the period 2002-2006.