Husain Ibraheem
Assistant Professor of Computer Science
2498-5304
Kuwait University
College of Science
Computer Science Department,
P.O. Box 5969
Safat -13060
College of Science
Computer Science Department,
P.O. Box 5969
Safat -13060
Education:
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
Publications
[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).