|
|
||||||||||||||||
|
|
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).
|
|
||||||||||||||
