Scalable Language Specification 2013

  • Grigore Rosu | University of Illinois at Urbana-Champaign

Specify and verify your language using K

Speaker Details

Grigore Rosu is an assistant professor at the University of Illinois at Urbana-Champaign (UIUC). 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 NASA Ames. He obtained his Ph.D. at the University of California at San Diego in 2000 and his M.S. at the 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. One of his papers won the best software science paper award at ETAPS 2002.

    • Portrait of Jeff Running

      Jeff Running

Watch Next