Eindhoven University of Technology, The Netherlands
Department of Mathematics and Computing Science

AT&T Bell Labs, Murray Hill, New Jersey

Microelectronics and Computer Technology Corporation, Austin, Texas

Rockwell International Corporation, Science Center, Thousands Oaks, California

Honeywell Corporate Technology Center, Bloomington, Minnesota

Honors and Awards

• The 2009 Best Student Paper Award, The 28-th International Symposium on Reliable Distributed Systems (SRDS-09), 2009.

• The 2006 Teaching Excellence Award, The College of Natural Sciences, The University of Texas at Austin, 2006.

• The 2004 William C. Carter Award, IEEE Technical Committee on Fault-Tolerant Computing (TC-FTC) and IFIP Working Group on Dependable Computing and Fault Tolerance (WG 10.4), 2004.

• Fellow of the IBM Center for Advanced Studies in Austin, Texas, 2002–2003.

• The 2001 William R. Bennett Best Paper Award, IEEE Communication Society, for the paper “Secure Group Communications Using Key Graphs,” coauthored with C. K. Wong and S. S. Lam, published in the IEEE/ACM Transactions on Networking, Vol. 8, No. 1, pp. 16–30, February 2000.

• IBM Faculty Partnership Award for the academic year 2001–2002.

• IBM Faculty Partnership Award for the academic year 2000–2001.

• The 1993 Kuwait Prize in Basic Sciences.

Editorship

[Back to Top]

• Associate Editor, International Journal of Cloud Computing, published by Inderscience, 2011--present.

• Associate Editor, Network Sciences, published by Springer, 2011--present.

• Associate Editor, Journal of High Speed Networks, published by IOS Press, 2000–present.

• Associate Editor, Information Sciences, published by North-Holland, 1995-1998.

• Associate Editor, Distributed Computing, published by Springer-Verlag, 1989-present.

• Founding Editor-in-Chief, Distributed Computing, published by Springer-Verlag, 1985-1989.

• Computer Networks Area Editor, The Visual Computer: An International Journal on Computer Graphics, published by Springer-Verlag, 1985-1989.

Conference Technical Committee Chair

• 28th International Symposium on Distributed Computing (DISC), Conference Chair, 2014.

• 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Chair of the Cloud Computing Track, 2012.

• 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Chair of the Security Track, 2010.

• 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Program Vice Chair, 2009.

• 16th IEEE International Conference on Network Protocols (ICNP), Technical Committee Chair, 2008.

• 3rd International Computer Engineering Conference (ICENCO), Cairo University, Technical Committee Chair, 2007.

• 27th IEEE Internation Conference on Distributed Computing Systems (ICDCS), Vice Chair, Network Protocols Track, 2007.

• 2nd International Computer Engineering Conference (ICENCO), Cairo University, Technical Committee Chair, 2006.

• 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Conference Chair, 2006.

• 13th IEEE International Conference on Network Protocols (ICNP), Technical Committee Chair, 2005.

• 1st International Computer Engineering Conference (ICENCO), Cairo University, Technical Committee Chair, 2004.

• 19th IEEE International Conference on Distributed Computing Systems (ICDCS), Technical Committee Chair, 1999.

• 6th IEEE International Conference on Network Protocols (ICNP), Technical Committee Chair, 1998.

• The Joint Conference on Information Sciences, Technical Committee Chair, 1997.

• 1st IEEE International Symposium on Advances in Computers and Communications, Technical Committee Chair, 1995.

• 1st IEEE International Conference on Network Protocols (ICNP), Technical Committee Chair, 1993.

• ACM SIGCOMM Symposium, Technical Committee Chair, 1989.

• Steering Committee Member, International Symposium on Stablization, Safety, and Security of Distributed Systems (SSS), 1999-present.

• Steering Committee Member, IEEE International Conference on Network Protocols (ICNP), 1993-present.

Conference Technical Committee Member

• 10th International Conference on Principles of Distributed Systems (OPODIS), 2006.

• 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2006.

• 2nd International Conference on Distributed Computing in Sensor Systems (DCOSS), 2006.

• 14th IEEE International Conference on Network Protocols (ICNP), 2006.

• 9th International Conference on Principles of Distributed Systems (OPODIS), 2005.

• 26th IEEE Real-Time System Symposium (RTSS), 2005.

• 14th IEEE International Conference on Computer Communications and Networks (ICCCN), 2005.

• 12th IEEE International Conference on Network Protocols (ICNP), 2004.

• 13th IEEE International Conference on Computer Communications and Networks (ICCCN), 2004.

• 2nd ACM Conference on Embedded Networked Sensor Systems (SenSys), 2004.

• 12th IEEE International Conference on Computer Communications and Networks (ICCCN), 2003.

• 6th International Symposium on Self-Stabilizing Systems (SSS), 2003.

• 11th IEEE International Conference on Computer Communications and Networks (ICCCN), 2002.

• 9th IEEE International Conference on Network Protocols (ICNP), 2001.

• 5th Workshop on Self-Stabilizing Systems (WSS), 2001.

• 10th IEEE International Conference on Computer Communications and Networks (ICCCN), 2001.

• 8th IEEE International Conference on Network Protocols (ICNP), 2000.

• 7th IEEE International Conference on Network Protocols (ICNP), 1999.

• 4th Workshop on Self-Stabilizing Systems (WSS), 1999.

• IFIP Symposium on Protocol Specification, Testing, and Verification, 1997.

• 3rd Workshop on Self-Stabilizing Systems (WSS), 1997.

• 2nd Workshop on Self-Stabilizing Systems, 1995.

• 3rd IEEE International Conference on Network Protocols, 1995.

• 8th IFIP International Conference on Formal Description Techniques, 1995.

• 2nd IEEE International Conference on Network Protocols, 1994.

• IFIP Symposium on Protocol Specification, Testing and Verification, 1994.

• INFOCOM, 1993.

• IEEE International Symposium on Global Data Networking, 1993.

• 6th International Conference on Parallel and Distributed Computing Systems, 1993.

• IFIP Symposium on Protocol Specification, Testing and Verification, 1990.

• 2nd IFIP International Conference on Formal Description Techniques, 1989.

• ACM Symposium on Principles of Distributed Computing, 1989.

• 1st Workshop on Self-Stabilizing Systems, 1989.

• IFIP Symposium on Protocol Specification, Testing, and Verification, 1988.

• Lake Arrowhead Workshop: Formal Specifications in the year 2000, 1987.

• IEEE International Conference on Distributed Computing Systems, 1984.

Fellowships and Grants

• (With T. Herman, and A. Arora) Collaborative Research: NeTS-NOSS State-Based Specifications for Controlling and Configuring Sensor Networks, Grant from the National Science Foundation, September 2005–August 2008, $750,000.

• Grant from the Texas Advanced Research Program, “Federated Multicast in IP”, January 2002–January 2004, $111,061.

• IBM Faculty Partnership Awards, “Secure Network Protocols”, 2000–2006, $90,000.

• (with A. Arora, T. Herman, M. Nesterenko, and S. Kulkarni) Contract from the Network Embedded Software Technology (NEST) Program in DARPA, “Self-Stabilization in NEST,” June 2001–October 2005, $2,426,500.

• (with V. Garg) Grant from the Texas Advanced Research Program, “The Nereus Project: Registration and Verification of Secure Sessions on the Internet,” January 1998–January 2000, $154,110.

• (with D. Miranker) Grant From the Texas Advanced Technology Program, January 1992–January 1994, $250,000.

• (with J. C. Browne, A. Emerson, D. Miranker, A. Mok, and L. Rosier) Office of Naval
  Research, “Fault-Tolerant, Bounded-Time Parallel Structured Decision Processes”, April 1989–September 1991, $403,000, N00014-89-J-1913.

• Endowed Faculty Fellowship #2, Department of Computer Sciences, The University of Texas at Austin, 1987–1992, $25,000.