* News


Programming Models and Tools for Networked Embedded Systems

Gul Agha
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)