Programming Models and Tools for Networked Embedded Systems
Departments of Computer Science
University of Illinois at Urbana-Champaign
Wednesday, October 18, 2006
Sage 3303, 4:00 p.m.to 5:00 p.m.
(Refreshments at 3:30 p.m.)
In order to realize the potential of sensor networks, the problem of
coordinating large numbers of embedded nodes must be addressed. I will
describe a program of research to build new paradigm of computingfor sensor
networks. Specifically, the talk will describe the natureof algorithms on
sensor networks, methods to facilitate programming sensor networks, and
reasoning about the behavior of sensor networks.I will describe middleware
services such as self-localization, an actor language for mobile agents, and
a new model checking algorithm for reasoning about the quantitative properties
of large-scale sensor networks. The research agenda will be illustrated by
software tools and experimental results on sensor networks.
Dr. Gul Agha is Professor of Computer Science and Research Professor in
Coordinated Science Laboratory at the University of Illinois atUrbana-Champaign.
His work on Actors is among the most widely cited publications in Computer
Science. Dr. Agha is a Fellow of the IEEE, a Golden Core of the IEEE Computer
Society and a former ACM International Lecturer. He serves as the
Editor-in-Chief of the ACM Computing Surveys and is the past Editor-in-Chief of
IEEE Concurrency: Parallel, Distributed and Mobile Computing.
Hosted by: Carlos A. Varela (x6912)