Mohamed Gouda

Mohamed Gouda holds the Mike A. Myers Centennial Professorship in the Department of Computer Science. He served as the Academic Associate Chair of the Dept. from 2014 to 2017. He also served as the Lead Program Director of the Computer System Research Program in the National Science Foundation from 2009 to 2012. Dr. Gouda received his B.Sc. in Mathematics and Eng. from Cairo University, Egypt. He received his Master and Ph.D. in Computer Science from the University of Waterloo, Canada. Seven former Ph.D. students of Dr. Gouda are currently full professors in the following universities in the US: Colorado at Colorado Springs, California at Santa Barbara, North Carolina at Chapel Hill, Ohio-State, University of Iowa, Michigan State, and South Carolina at Columbia.


Research Interests: 

Dr. Gouda has been working on developing theories to investigate the following topics

  • Abstract specifications of protocols
  • Self-stabilizing distributed systems
  • Key graphs and secure group communications
  • Firewalls and other networking policies

Select Publications

Elements of Network Protocol Design, John Wiley and Sons, 1998. This is the first and only book where Internet protocols are presented in a formal and abstract setting.

(with C. K. Wong and S. S. Lam) “Secure group communications using key graphs”, IEEE/ACM Transactions on Networking, Vol. 8, No. 1, pages 16 - 30, 2000/2

(with A. Arora) "Closure and convergence: A foundation of fault-tolerant computing", IEEE Transaction on Software Engineering, Vol. 19, No. 11, pages 1015 - 1027, 1993

(with A. Arora) "Distributed reset", IEEE Transactions on Computers, Vol. 43, No. 9, pages 1026 - 1038, 1994

(with X-YA Liu) "Firewall design: Consistency, completeness, and compactness", Proceedings of the 24th International Conference on Distributed Computing Systems, pages 320 - 327, 2004

Awards & Honors

2014 - Best Paper Award, Second International Conference on Networked Systems (NETYS)
2009 - Best Student Paper Award, The 28th International Symposium on Reliable Distributed Systems
2006 - Teaching Excellence Award, The College of Natural Sciences, The University of Texas at Austin
2004 - William C. Carter Award
2003 - Fellow of the IBM Center for Advanced Studies
2002 - IBM Faculty Partnership Award
2001 - IBM Faculty Partnership Award
2000 - William R. Bennett Best Paper Award, IEEE Communication Society
1993 - Kuwait Prize in Basic Sciences