Dr. Arora leads a research group on Dependable Distributed and Networked Systems that 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. He is 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. His group’s methods draw from the theory of self-stabilization and exploit formal specifications of and “white box” knowledge about the system. Demonstrations of its work are presently focused on embedded sensor network applications and internet services.
As a TDAI faculty in residence, Dr. Arora leads the institute’s Smart & Connected Communities and Distributed Sensing community of practice.
PhD, Computer Science, University of Texas at Austin
MS, Computer Science, University of Texas at Austin
BTech, Computer Science and Engineering, Indian Institute of Technology, New Delhi