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.