Colloquium

We have built two teams of soccer playing robots at the Free University of Berlin that have taken part in several RoboCup tournaments, the yearly robotic soccer world championship.

This talk will detail the research program at the Logistical Computing and Internetwork Laboratory at the University of Tennessee. Specifically, we will detail our novel approach to network storage, which adheres to end-to-end design principles, and thus promises the ability to insert writable stora

When available 'device physics' or 'device biophysics' can be directly used in an algorithm, a small quantity of computing hardware can be astonishingly effective. Evolution makes such solutions available for neurobiological computations.

Over the past three years we have seen a number of exciting new cryptographic constructions based on certain bilinear maps. In this talk we will survey some of these new constructions and their applications.

Mainframes to mini-computers to workstations to PCs to PDAs. What comes next in the miniaturization of computing? Theanswer lies in networks of tiny computational devices, potentially equipped with sensors, embedded in the world around us.

A new approach to developing correct programs is proposed. The goal of the approach is to all developers to translate some of their intuitive ideas of why their code is correct into something machine checkable, like a proof fragment or partial proof.

_Protium_ uses a partitioned application approach to provide universal data service: making traditional desktop applications available on any Internet-connected device.

It is time to broaden our performance-dominated research agenda. A four order of magnitude increase in performance over 20 years means that few outside the CS&E research community believe that speed is the only problem of computer hardware and software.

The Ubiquitous Computing community has been touting the "disappearing computer" for some time now. What they mean is not that there should be no more computers. Rather, they believe that small, unabtrusive computers will be so ubiquitous (think smart wallpaper) that we won't even notice them.

The Internet protocols were designed from the start to tolerate failures, and they have proved exceedingly resilient to fiber cuts, earthquakes, router meltdowns, and so forth. Yet not all faults are alike.