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...
acm sigsoft
awards
computer science
etaps 2002
executable semantics
formal methods
grigore rosu
hoare logic
icse 2011
nasa ames
nsf career
programverificationprogramming languages
research
software engineering
system development
teaching
theoretical foundations
uiuc
