Husain Ibraheem

Education:
Kansas State University, USA
1998
Ph.D. in Computer science
University of Victoria, Canada
1992
M.S. in Computer science
King Abdul-Aziz University, Saudi Arabia
1990
B.S. in Computer sciences
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).