Anish Arora

Research Group 


Group Members

Kansei Testbed



Teaching Links

Other Links


Curriculum Vitae (.pdf)



I lead a research group on Dependable Distributed and Networked SystemsThe 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.

A notable recent accomplishment in wireless sensor networks is ExScal which demonstrated a perimeter security application with over 1000 sensor nodes and over 200 802.11b backbone nodes spread over a 1.3km by 300m area. As of December 2004, ExScal was the largest wireless sensor network deployed and likely also the largest 802.11b peer-to-peer ad hoc network deployed. The research led to the development of Kansei, which is an interactive, heterogeneous, large-scale wireless sensor network environment for testing and development. The stationary array of Kansei is housed in a warehouse near our Campus and presently contains over 700 sensor nodes supporting different hardware and software platforms. Other Kansei arrays are located in our department building, and supporting sensing for our in-building mobile peer-to-peer People Net, and being cloned nationwide as part of our effort to integrate Kansei with GENI experimentation infrastructure.

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


 Computer Science  and Engineering
      395 Dreese Hall 
       The Ohio State University 
      Columbus, OH 43210-1277 USA 
      +1 (614) 292 1836 
      fax +1 (614) 292 2911
anish (at) cse (dot) ohio (dash) state (dot) edu
Admin Associate: Jerri Shafer
589 Dreese Hall
       The Ohio State University 
      Columbus, OH 43210-1277 USA 
+ (614) 292 0258
fax +1 (614) 292 2911
shaferj (at) cse (dot) ohio (dash) state (dot) edu