Grigore Rosu - Biography, Curriculum Vitae, and Research
From FSL
(back to Grigore Rosu's webpage)
| Short Biography |
|---|
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 2008 and Fall 2004.
| Curriculum Vitae |
|---|
Complete curriculum vitae
Personal data
- Born on 12 December 1971, Bucharest, Romania. Married (Luisa Maria Rosu), two children (Ana Catalina Rosu and Dan Ilie Rosu).
Education
- 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
Professional experience
- [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
| Research Interests |
|---|
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.
| Research Grants |
|---|
(in reversed chronological order on the start date)
- 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.
