Summary: Also Inside:
RICK RASHID: STILL BOLDLY GOING
A SURVEY OF MACHINE LEARNING
KEEPING UP WITH KEEPON
TURING AWARD WINNER ED CLARKE'S
RESEARCH EFFORTS ARE RIVALED
BY HIS EDUCATIONAL LEGACY
News from the School of Computer Science
Issue 4.1 / Summer 2009
Model Checking's Role Model
F E E D B A C K L O O P
News from the School
of Computer Science
The Link provides a mosaic of the School of
Computer Science: presenting issues, analyzing
problems, offering occasional answers, giving
exposure to faculty, students, researchers, staff
and interdisciplinary partners. The Link strives
to encourage better understanding of, and
involvement in, the computer science community.

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

Collections: Mathematics