1986-1989 Ph.D. in Computer Science, Oregon State University (OSU), Corvallis, Oregon, USA, December 1989.
Thesis Title: DataLab: A Graphical System for Specifying and Synthesizing Abstract Data Types.
Advisor: Dr. Ted Lewis, Professor in Computer Science Department, OSU.
1982-1986 MSc. in Computer Science, University of California, Davis, California, USA, June 1986.
Thesis Title: MAT - An Interactive Language for Matrix Arithmetic.
Advisor: Dr. S. Wang, Professor in Computer Science Department, UC-Davis.
1979-1981 MSc. in Systems Engineering, KFUPM, October 1981.
Thesis Title: Hierarchical Optimization Techniques for Nonlinear Systems.
Advisor: Dr. Gamal Aly, Associate Professor in Systems Engineering Department, KFUPM.
1974-1979 BSc. in Systems Engineering, KFUPM, June 1979.