Grigore Rosu - Biography, Curriculum Vitae, and Research

From FSL

Jump to: navigation, search

(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

25px-Pdf_icon.png Grigore Rosu's CV Info_circle.png

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)

Views
Personal tools