1. THESES SUPERVISED
   1. Design and analysis of a High Performance Fault tolerant ATM Network, G. Al-Hashim, M.Sc., Department of Computer Engineering, KFUPM, May 1998.
   2. Fault Characterization and Testability Considerations of Multi-Valued Logic Circuits, M. Al-Sharif, M.Sc., co-supervised with Dr. M. Osman, Department of Computer Engineering, KFUPM, Expected January 1999.
   3. A Technique for Fault-Tolerance in Feedforward Neural Networks, D. Ekong, Ph.D., co-supervised with Dr. H. Wood, Expected August 1997.
   4. Frontiers for High-Level Synthesis of Digital Circuits, L. Ghatraju, Ph.D., co-supervised with Dr. C. McCrosky, June 1997.
   5. Design and Analysis of a Fault Tolerant Switch for B-ISDN, Talha Al-Jarad, M.Sc., co-supervised with Dr. K. Al-Tawil, Oct. 1996. \item A Framework for Yield Enhancement of Processor Arrays, Syed Qadri, M.Sc., June 1996.
   6. Routing in Multicomputer Networks: A Classification and Comparison, Farooq Ashraf, M.Sc., co-supervised with Dr. K. Al-Tawil, June 1996.
   7. Design and Analysis of a Hierarchical, Fault Tolerant Multicomputer Network, Feroze Daud, M.Sc., co-supervised with Dr. K. Al-Tawil, June 1996.
   8. Synthesis of Parallel Distributed Scientific Codes From Recursive Lambda-Calculus Expressions, K. Roy, Ph.D., co-supervised with Dr. C. McCrosky, September 1995.
   9. Some Proposed Heuristics for Theorem Generation, H. Choy, M.Sc., September 1995.
   10. On The Synthesis and Optimization of MVL Functions, S. Nayyar, M.Sc. (COE Dept., KFUPM), June 1995.
   11. Reliability of Modular Fault Tolerant Hypercube Networks, M. Abdul Hai, M.Sc. (COE Dept., KFUPM), co-supervised with Dr. M. Benten, January 1995.
   12. A Framework for Yield Enhancement of Processor Arrays, S. Hadi Qadri, M.Sc. (COE Dept., KFUPM), Oct., 1995.
   13. Multiple-Valued Logic Design in Current-Mode CMOS, A. Jain, Ph.D., co-supervised with Dr. R. Bolton, Nov. 1993.
   14. Instruction Set Architecture Tradeoffs in Reduced Instruction Set Computers, H. El-Gebaly, M.Sc., co-supervised with Dr. C. McCrosky, May 1993.
   15. Graph-Based Output Phase Assignment for Programmable Logic Array Minimization, Y. Xu, M.Sc., co-supervised with Dr. C. McCrosky, Feb. 1993.
   16. New Theory for Testability-Preserving Optimization of Combinational Circuits, J. Zhu, M.Sc., co-supervised with Dr. C. McCrosky, Dec. 1992.
   17. On the Problem of Test Pattern Generation for Combinational Circuits, W. Li, M.Sc., co-supervised with Dr. C. McCrsoky, Dec. 1992.
   18. Reliability and Yield Enhancement of VLSI/WSI Array Processors", M. Bachtiar, M.Sc., September 1991.
   19. Array Handling in Data Flow Computations, K. Roy, M.Sc., co-supervised with Dr. C.McCrosky. July 1990.
   20. Systolic Structures for Texture Analysis and Representation", M. D. Giridhar, M.Sc. September, 1989.
   21. VLSI Systolic Implementation of the Transportation Problem, L. Ghatraju, M.Sc., co-supervised with Dr. R. Bolton. July 1989.
   22. Simulator/Silicon Compiler for Systolic/Wavefront Arrays", S. Tandri, M.Sc., co-supervised with Dr. C. McCrosky. July 1989.
   23. Fault-Tolerant Multi-Microcomputer Systems, A. D. Jalnapurkar, M.Sc., co-supervised with Dr. H. Wood. November 1988.
2. THESES EXAMINED
   1. External Examiner
      1. "Frequency Hopped Spread Spectrum Multiple Access Packet Radio with Concatenated Codes", External Examiner, M.Sc., John Panicker, Electrical Engineering, June 4, 1992.
      2. "The Design of an ECG Morphology Processor Chip", Robert Cram, M.Sc., Biomedical Engineering Division, Department of Electrical Engineering, Nov. 8, 1990.
      3. "Integrated Circuit Hardware Design Rule Checking using TMS34010", Amy Lau, M.Sc. Department of Electrical Engineering, August 9, 1990.
      4. "Design and Simulation of a Software for a High Speed Digital Distance Relay", Deepak L. Waikar, M.Sc. Department of Electrical Engineering, March 21, 1989.
      5. "A Study of the Standstill Frequency Response Test of Synchronous Machines", Yusin Jin, M.Sc. Department of Electrical Engineering, July 15, 1988.
   2. Thesis Committee Member
      1. "Optimization of Mixed CMOS/BiCMOS Circuits Using Tabu Search", M.Sc., Munir Zahra, Department of Computer Engineering, King Fahd University of Petroleum and Minerals, Expected December 1997.
      2. "Fuzzy Genetic Algorithm for VLSI Floorplan Design", M.Sc., Hakim Adiche, Department of Computer Engineering, King Fahd University of Petroleum and Minerals, Expected December 1997.
      3. "Object Modeling with Conic Splines", M.Sc., Mohammed Aiyaz Hussain, Department of Information and Computer Science, King Fahd University of Petroleum and Minerals, Expected December 1997.
      4. "Signature Traffic Analysis of GSM Authentication Protocols", M.Sc., Ali Akrami, Department of Computer Engineering, King Fahd University of Petroleum and Minerals, Expected December 1997.
      5. "Measuring Class Coupling in Object-Oriented Design", M.Sc., Ahmed H. AlMulla, Department of Information and Computer Science, King Fahd University of Petroleum and Minerals, Expected December 1997.
      6. "A Framework for the VLSI Implementation of Systolic Tree Based Data Structures", M.Sc., Mohammed A. Khalid, Department of Computer Engineering, King Fahd University of Petroleum and Minerals, Sept. 1994.
      7. "Design and Implementation of A Simulator for Systolic Arrays", M.Sc., Ahmed H. Awad, Department of Computer Engineering, King Fahd University of Petroleum and Minerals, June 1994.
      8. "Parallel Distributed Array Computation", M.Sc., Mohammad Ghavamnia, Department of Computational Science, June 2, 1993.
      9. "Priority Queueing in Asynchronous Transfer Mode Switches", M.Sc., Karen Reid, Department of Computational Science, August 31, 92.
      10. "Local Area Network Traffic Locality: Characteristics and Applications", M.Sc., Neeraj Gulati, Department of Computational Science, July 13, 92.
      11. "Implementation of a Type-Checker for Falafel", Utpal Mukhopadhyaya, M.Sc. Department of Computational Science, June 1991.
      12. "Security Evaluation of Power Systems", Ph.D., Olusola A. Komolafe, Electrical Engineering, University of Saskatchewan, March, 1988.