|
||||||||||||||||
Anish Arora |
||||||||||||||||
|
I lead a research group on Dependable Distributed and Networked Systems. The group works on the foundations of fault-tolerance, security, and timeliness properties, develops design, verification, and implementation methods, and builds prototypes of dependable systems for new application areas. We are especially interested in discovering new
methods for scalable dependability, as well as
in characterizing the differences between reasoning about system correctness
versus reasoning about systems dependability. Our methods draw from the
theory of self-stabilization, and exploit formal specifications of and
"white box" knowledge about the system. Demonstrations of our work
are presently focused on embedded sensor network applications and internet
services. In the last few years, we have collaborated actively with colleagues at UT at Austin, Iowa, Michigan State, Kent State, UC Berkeley, and MIT, as well as other university and industry partners (research resulting from our DARPA NEST project may be found in our Stabilization in NEST page) and with members of the Systems and Networking Group at Microsoft Research in Redmond, WA (research resulting from the MSR Aladdin Home Networking Project may be found in the Publications page). In 2003, we completed a smart-dust sensor network field experiment on A Line in the Sand for DARPA and a demonstration of continuous self-maintenance at the Microsoft Research Faculty Summit. Our more recent projects are in collaboration with the Institute for Sensing Systems at Ohio State, which I helped co-found (alongwith Randy Moses).
|
|