ICSE 2011: Grigore Rosu - The Art and Science of Program Verification

[EDN Admin]

Grigore Rosu is an associate professor in the <a title="http://cs.uiuc.edu http://cs.uiuc.edu Department of Computer Science at the <a title="http://illinois.edu http://illinois.edu University of Illinois at Urbana-Champaign (UIUC), where he leads the <a title="Formal Systems Laboratory http://fsl.cs.uiuc.edu/index.php/Main_Page" target="_blank 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 <a title="http://www.nasa.gov/centers/ames/home/index.html http://www.nasa.gov/centers/ames/home/index.html NASA Ames . He obtained his Ph.D. at the <a title="http://www.ucsd.edu http://www.ucsd.edu University of California at San Diego in 2000 and his M.S. at the <a title="http://unibuc.ro http://unibuc.ro University of Bucharest , Romania, in 1996. He was offered the CAREER award by the NSF and the outstanding junior award by the Computer Science Department at UIUC in 2005. He won an ACM SIGSOFT distinguished paper award at ASE 2008 as well as the best software science paper award at ETAPS 2002, and he was ranked a UIUC excellent teacher in Spring 2008 and Fall 2004. [ http://fsl.cs.uiuc.edu/index.php/Grigore_Rosu_-_Biography%2C_Curriculum_Vitae%2C_and_Research" target="_blank source ] Here, Wolfram Schulte and Grigore briefly discuss the potential of <a title="Runtime Verification http://fsl.cs.uiuc.edu/index.php/Runtime_Verification Runtime Verification —checking programs against properties as they execute—and <a title="K http://fsl.cs.uiuc.edu/index.php/K K and <a title="Matching Logic http://fsl.cs.uiuc.edu/index.php/Matching_Logic Matching Logic , an executable semantics framework yielding an alternative (to Hoare logic) program verification logic. Its another great conversation from http://channel9.msdn.com/Tags/icse+2011" target="_blank Channel 9s coverage of ICSE 2011 . Thanks to Wolfram and Grigore! Tune in. <img src="http://m.webtrends.com/dcs1wotjh10000w0irc493s0e_6x1g/njs.gif?dcssip=channel9.msdn.com&dcsuri=http://channel9.msdn.com/Feeds/RSS&WT.dl=0&WT.entryid=Entry:RSSView:9a5a5321a3714d77b8aa9ef6017ccd83

View the full article