African University of Science & Technology

Prof. Mohamed Hamada (Aizu Univ., Japan)

Education

  • Ph.D. in Computer Science, University of Tsukuba, Tsukuba, Japan. March 1998.
  • M.Sc. in Computer Science, Ain Shams University, Cairo, Egypt, 1993.
  • Computer Instructor Training Course, (How to teach Computer Science courses: Programming Languages, Algorithms, Data Structures, etc), Japan International Cooperation Agency, JICA, Okinawa International Center, Japan. April - Oct. 1993.
  • Graduate Diploma in Computer Science, Ain Shams University, Cairo, Egypt. Sept. 1989.
  • B.Sc. in Mathematics and Computer Science, Excellent with Honors degree. Ain Shams University, Cairo, Egypt, 1986.

Research

  • Artificial Intelligence and the Study of the Operational Semantics of Functional Logic Languages
  • Natural Inspired Computation
  • Multimedia, Web-based and Advanced Learning Technologies

Selected Publications

  • Mohamed Hamada, "An Integrated Virtual Environment for Active and Collaborative e-Learning in Theory of Computation". IEEE Transactions on Learning Technologies, Vol. 1, No. 2, pp. 1-14, 2008.
  • Mohamed Hamada, Computer Engineering Education. In Wiley Encyclopedia of Computer Science and Engineering, (B. Wah, Edit.), John Wiley and Sons, Inc. pp. 997-1012, 2008.
  • Hazem El-Bakry and Mohamed Hamada, A New Implementation for High Speed Normalized Neural Networks in Frequency Space KES 2008, Lecture Notes in Artificial Intelligence (LNAI) Vol. 5177 pp. 121-132, Springer-Verlag. 2008
  • Mohamed Hamada,Web-based Environment for Active Computing Learners. ICCSA'08, Lecture Notes in Computer Science (LNCS) Vol. 5072, pp. 516-529, Springer-Verlag 2008.
  • Mohamed Hamada, A Web-based Tools for Active Learning in Information Theory. ACM SIGCSE Bulletin Vol. 39, No. 1, pp. 60-66, 2007.
  • Aart Middeldorp, Taro Suzuki, and Mohamed Hamada, Complete Selection Functions for a Lazy Conditional Narrowing Calculus, Journal of Functional and Logic Programming, Vol. 2002, No. 3, (43 pages), 2002.
  • Mohamed Hamada, Strong Completeness of a Narrowing Calculus for Conditional Rewrite Systems with extra variables, Electronic Notes in Theoretical Computer Science, Vol 31, No. 1, Elsevier Science, 2001.