Grigore Rosu
Assistant Professor

Research Interests Software and software related aspects; 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; automated reasoning about computer systems, applications of logics, theorem proving; and algorithms, (co)algebra, category theory.

Research Area Formal Systems, and Software Verification and Validation

Research Group Formal Systems Laboratory

Education PhD, University of California at San-Diego, 2000.

Honors and Awards Best paper for software science ETAPS (2002) and Irina Gorun-Bercovici Memorial Prize (1997).

Representative Publications G. Rosu and J. Whittle. Towards Certifying Domain-Specific Properties of Synthesized Code. Proceedings of the 17th International Conference on Automated Software Engineering, Edinburgh, UK, September 2002. K. Havelund and G. Rosu. Synthesizing Monitors for Safety Properties. Proceedings of the 8th International Conference on Tools and Algorithms for Construction and Analysis of Systems, Grenoble, France, Vol. 2280, pp. 342-356, April 2002. G. Rosu. Equational Axiomatizability for Coalgebra. Journal of  Theoretical Computer Science, Vol. 260, Issue 1-2, pp.  229-247, 2001.

Department of Computer Science, Thomas M. Siebel Center for Computer Science, 201 N. Goodwin, Urbana, IL 61801-2302.
The Department  is part of the College of Engineering at the University of Illinois at Urbana-Champaign.
Contact webmaster@cs.uiuc.edu with questions or comments on this page or academic@cs.uiuc.edu
with academic questions. This site was created 12/01/01.