Husain Ibraheem

Husain Ibraheem
Assistant Professor of Computer Science
Kuwait University
College of Science
Computer Science Department,
P.O. Box 5969
Safat -13060

Ph.D. in Computer science
Kansas State University, USA1998
M.S. in Computer science
University of Victoria, Canada1992
B.S. in Computer sciences
King Abdul-Aziz University, Saudi Arabia1990
Interests and Research:
  • Programming Languages
  • Logic Programming

[1] Husain Ibraheem, David A. Schmidt. Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and “Higher-Order” Derivations. Electron. Notes Theor. Comput. Sci. 10: 121 (1997).