Tarski's influence on computer science

On refereeing computer science

Computer science is a diverse, exciting, and rapidly expanding discipline. Inevitably the research community pulls itself in different directions, sometimes with the result that visionary research may be under-valued. This paper explores systemic issues of general applicability with the aim of understanding and hence valuing the diversity.

Essays on Computer Science Education

Computer Science Meets Medical Science

In the past 20–30 years at least two technical advances have made quantification in pathology at a large scale possible. At the time the computing power of affordable computers increased, interest to deploy tasks emerged that were previously very laborious to perform. Combined with digital camera systems, many new possibilities became available. Examples of such measurements that were previousl...

On teaching computer ethics within a computer science department.

The author has surveyed a quarter of the accredited undergraduate computer science programs in the United States. More than half of these programs offer a 'social and ethical implications of computing' course taught by a computer science faculty member, and there appears to be a trend toward teaching ethics classes within computer science departments. Although the decision to create an 'in hous...

Special Section On Foundations of Computer Science

This special section comprises eight fully refereed papers whose extended abstracts were presented at the 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2007) in Providence, Rhode Island, October 21–23, 2007. The unrefereed conference versions of these papers were published by IEEE in the FOCS 2007 proceedings. The regular conference program consisted of 63 papers chosen fr...