Research Related Activities

Research Interests

     Information Technology

      Database Systems

      Software Engineering

      Programming Languages

      Mathematical Logic and Logic Programming

      Automatic Theorem Proving


  1. M.R.K. Krishna Rao, S. Junaidu, T. Maghrabi, M. Shafique, M. Ahmad and K. Faisal (2005), Principles of curriculum design and revision: a case study in implementing computing curricula CC2001, ACM SIGCSE Bulletin , Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education ITiCSE '05, Volume 37 Issue 3, Sep 2005, pp 256 - 260.

  2. T. Maghrabi and J. Yazdani, The Role of an Intranet in a University: The KFUPM Experience, Proceedings of The Forth Workshop on Information and Computer Science (WICS2002) , March 17-8, 2002, pp. 405-413.

  3. M. W. Aslam and T. Maghrabi, Student Information Systems: Removing Cobwebs with Web, Proceedings of The Forth Workshop on Information and Computer Science (WICS2002), March 17-8, 2002, pp. 305-313. 

  4. Maghrabi, T., Najjar, M. and Yazdani, J., Establishing an Intranet: The KFUPM ExperienceProceedings of The 5th Saudi Engineering Conference, Mekka, Saudi Arabia, 15-17 March 1999, Vol. 2, pp. 305-314.

  5. Sait, S. and Maghrabi, T., Component Selection and Pipelining using Stochastic AlgorithmsProceedings of The 15th National Computer Conference, Dhahran, Saudi Arabia, 15-17 November 1997, pp. 839-855.

  6. Maghrabi, T. , Automatic Theorem Proving: An Overview, The Arabian Journal of Science and Engineering, 22(2B), October 1997, pp. 245-258.

  7. Najjar, M, Shaikh, N. and Maghrabi, T., Changing the Academic Computing Environment at KFUPM: A Case Study, Saudi Computer Journal, 1(2), November 1997, pp. 85-101.

  8. Maghrabi, T., A Personal Advising System, Proceedings of The 14th National Computer Conference, Riyadh, Saudi Arabia, 1-4 April 1995, pp. 53-60.

  9. Maghrabi, T. and Golshani, F., Automatic Program Generation Using Sequent CalculusProceedings of The 20th Annual ACM Computer Science, Kansas City, Missouri, USA, 3-5 March, 1992, pp. 73-81.

  10. Maghrabi, T, Generating Programs from Natural Deduction Proofs, Proceedings of The First Annual Golden West Conference on Intelligent Systems, Reno, Nevada, USA, 3-5 June,1991, pp.  150-156.

Conferences Attended and organized

  1. Workshops on Information and Computer Science (WICS) 1996, 1998, 2000, 2002.

  2. “IT Challenges in The Next Millennium”, SBM Executive Seminar, Cannes, France, April 6-8, 1999

  3. The 5th Saudi Engineering Conference, Makkah Al-Mukarramah, Saudi Arabia, March 1-4, 1999

  4. The 15th National Computer Conference (NCC), Dhahran, Saudi Arabia, November 17-19, 1998

  5. The 14th National Computer Conference (NCC), Riyadh, Saudi Arabia, April 2-4, 1995

  6. The 1993 IBM Personal Systems Forum, Sponsored by International Business Machine, Nice, France, April 14-16, 1993

  7. The 20th ACM Annual Computer Science Conference, Sponsored by Association for Computing Machinery (ACM), Kansas City, Missouri, USA, March 3-5 1992.

  8. The First International Workshop on Multimedia Information Systems, Sponsored by Arizona State University, Syracuse University, and The University of Kentucky, Tempe, Arizona, USA, February 7, 1992.

  9. The Eight International Conference on Data Engineering, Sponsored by IEEE Computer Society Technical Committee on Data Engineering with corporate support by Bull Worldwide Information Systems, Tempe, Arizona, USA, February 3-7, 1992.

  10. The First Golden West International Conference on Intelligent Systems, Sponsored by University of Nevada, Reno, Nevada, USA, June 3-6, 1991.

  11. The Tenth International Phoenix Conference on Computers and Communications, Sponsored by IEEE Communication Society in cooperation with IEEE Computer Society, Arizona State University, and University of Arizona, Scottsdale, Arizona, USA, March 27-30, 1991.


  1. The Reality of using Information in Library Fields in Saudi Arabia,” A Panel Discussion in the 4th Annual Conference for Saudi Library and Information Association (SLIA), KSU, Riyadh, April 13, 2006.

  2. KFUPM Library E-Services,” Second Workshop on E-Learning in Higher Education, KFUPM, Dhahran, March 14, 2006.

  3. The Road to a Digital Library - in Arabic,” Presented to a delegation of Moroccans University Rectors , KFUPM, Dhahran, April 2, 2005.

  4. “Rightsizing Experience at KFUPM,” Information and Computer Sciences department, KFUPM, Dhahran, April 1996.

  5. “An Overview of Client/Sever Computing,” Information Technology Center, KFUPM, Dhahran, May 1995.

  6. “Automatic Programming Using Theorem Proving,” Information and Computer Sciences department, KFUPM, Dhahran, November 1992.