Research Interests

Network Technologies, Survivability of Network Systems, Fault Tolerance, Reliability Modeling, and Distributed Agreement

I would like to work with computer science and engineering students interested in pursuing a Master or PhD degree. Currently, I am working in the following areas:

  • Software Reliability: As software systems become more complex, it is vital to ensure that they operate reliably, according to their specification. The interests are in the use of quantitative approaches to measure and predict software quality. The number of reliability techniques continues to grow and there are many topics to pursue. Of special interests are topics in reliability modeling and prediction techniques, software architecture, Petrinets, and Markov processes. Also, appropriate topics can be found for those students with overlapping interests in network communication.

  • Wireless Communication: There are many challenging avenues to pursue. The interests are in WLAN, ad-hoc, and sensor networks. Current research topics are ad-hoc routing, sensor area localization and coverage, data fusion, and distributed agreement with special attention to survivability and fault tolerance.

  • Distributed Agreement with Hybrid Fault Models: Addresses the problem of achieving and maintaining agreement through collaborative decision making in distributed systems in the simultaneous presence of faults with various fault severity levels. Some topics of interest with respect to mobile nodes are in detection of objects, clock synchronization, heading of nodes in some specific direction or path, and rendezvous at some specific place.

  • Reliability Modeling of Fault-Tolerant Distributed Systems: Applies recent theoretical advances in fault-tolerance to obtain more accurate stochastic models for the Reliability of fault-tolerant distributed systems. Our objective is to examine methodologies, techniques, and software tools for integrating the performance modeling and dependability modeling of distributed information systems, which facilitate the evaluation of performance/dependability trade-offs, thereby speeding up the system design process.