Grigore Rosu's Research

From FSL

Jump to: navigation, search

(Back to Grigore Rosu's webpage)

My research interests encompass both theoretical foundations and system development. My past and current 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
NSF CCF-0234524 (PI) - Scalable Formal Methods for Multidimensional Components. $400k for the period 2002-2006.
NSF CCF-0448501 (PI) - CAREER: Runtime Verification and Monitoring. $400k for the period 2005-2010.
NSF CNS-0509321 (co-PI). CSR-SMA: Dynamic Analysis and Control for Robust Scalable Open Distributed Systems. $700k for the period 2005-2007.
Retrieved from "http://fsl.cs.uiuc.edu/index.php/Grigore_Rosu%27s_Research"
Views
Personal tools