Difference between revisions of "Grigore Rosu - Curriculum Vitae"
Line 5: | Line 5: | ||
{{Header | Short Biography}} | {{Header | Short Biography}} | ||
− | Grigore Rosu is a professor in the [http://cs.uiuc.edu Department of Computer Science] at the [http://illinois.edu 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 [http://www.nasa.gov/centers/ames/home/index.html NASA Ames]. He obtained his Ph.D. at the [http://www.ucsd.edu University of California at San Diego] in 2000 | + | Grigore Rosu is a professor in the [http://cs.uiuc.edu Department of Computer Science] at the [http://illinois.edu University of Illinois at Urbana-Champaign] (UIUC), where he leads the [[Formal Systems Laboratory]] (FSL), and the founder and president of [http://runtimeverification.com 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 [http://www.nasa.gov/centers/ames/home/index.html NASA Ames]. He obtained his Ph.D. at the [http://www.ucsd.edu 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. |
Revision as of 14:27, 15 November 2016
(back to Grigore Rosu's webpage)
Short Biography |
---|
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.
Curriculum Vitae |
---|
Complete curriculum vitae