Research interests include :

• Database Systems
• Logic and Logic Programming
• Automatic Theorem Proving
• Software Engineering
• Information Technology 

Publications

1. Maghrabi, T., Najjar, M. and Yazdani, J., “Building an Intranet: The KFUPM Experience,”  Proceedings of The 5th Saudi Enginnering Conference, Mekka, Saudi Arabia, 15-17 March 1999, Vol. 2, pp. 305-314.
   
2. Sait, S. and Maghrabi, T., “Component Selection and Pipelining using Stochastic Algorithms,”  Proceedings of The 15th National Computer Conference, Dhahran, Saudi Arabia, 15-17 November 1997, pp. 839-855.
   
3. Maghrabi, T. ,"Automatic Theorem Proving: An Overview," The Arabian Journal of Science and Engineering, 22(2B), October 1997, pp. 245-258.
   
4. 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.
   
5. Maghrabi, T., “A Personal Advising System,"  Proceedings of The 14th National Computer Conference, Riyadh, Saudi Arabia, 1-4 April 1995, pp. 53-60.
   
6. Maghrabi, T. and Golshani, F., "Automatic Program Generation Using Sequent Calculus,"  Proceedings of The 20th Annual ACM Computer Science, Kansas City, Missouri, USA, 3-5 March, 1992, pp. 73-81.
   
7. 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.