Navigation section
grigore rosu
About this tag
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 include formal methods, software engineering, and programming languages, focusing on both theoretical foundations and system development. Before joining UIUC in 2002, he was a research scientist at NASA Ames. He earned his Ph.D. at the University of California at San Diego in 2000 and his M.S. at the University of Bucharest. This tag covers discussions related to Grigore Rosu's work in program verification and formal methods.
-
Windows 7 ICSE 2011: Grigore Rosu - The Art and Science of Program Verification
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 Link Removed (FSL). His research interests encompass both theoretical foundations and system development in the areas of formal methods...- News
- Thread
- acm sigsoft awards computer science etaps 2002 executable semantics formal methods grigore rosu hoare logic icse 2011 nasa ames nsf career programming languages research software development software verification system development teaching theoretical foundations uiuc
- Replies: 0
- Forum: Live RSS Feeds