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