Mohammed Almulla Department of Mathematics and Computer Science Faculty of Science Kuwait University P. O. Box 5969 Safat 13060 Kuwait Email: almulla@sci.kuniv.edu.kw Tel: (965) 4811188 Ext 5303 Fax: (965) 4817201 http://mcs.sci.kuniv.edu.kw/~almulla

Research Interest

• Game Playing Programs
• Search Heuristics and Algorithms
• Parallel, Distributed, and Concurrent Programming
• Automated Reasoning and Theorem Proving

Academic Courses

• Computer Programming I
• Computer Programming II
• Introduction to Artificial Intelligence
• The "C" Programming Language
• Programming Language Concepts and Organization
• Advanced Artificial Intelligence
• Algebraic Structures And Mathematical Logic
• Software Project Management and Development
• Data Structures and Algorithms.

Professional Experience

• Assistant Vice President for Academic Affairs - Decision Support Center - Kuwait University 2001-2004
• Consultant of Decision Support Center - Academic Affaris - Kuwait University 1998 - 2001
• Director of Information Unit - Faculty of Science - Kuwait University 1997 - 1998
• Deputy Chairman of the Department of Mathematics and Computer Science - Kuwait University 1996 - 1997

Publications

- Research Thesis

• Analysis of The Use of Semantic Tree in Automated Theorem Proving. Ph.D. Thesis, School of Computer Science, McGill University, January 1995.
• A Multi-degree Greedy Algorithm for Solving the Traveling Salesman Problem. Master Thesis, School of Computer Science, McGill University, June 1990.

- Journals

• Mohammed Almulla, Mohamad Al-Haddad and Hans Loeper, "An Ada-Based Preprocessor language for Concurrent Object Oriented Programming", Arab Gulf Journal of Scientific Research, 19 (3): 137-149 (2001).
• Ahmed Almonayyes, Hazem Raffat, Mohammed Almulla and Rana AlHarshani, "Improving The Time Efficiency of Proving Theorems Using a Learning Mechanism", International Journal of Computer Mathematics, 77: 169-180 (2001).
• Mohammed Almulla, Hans Loeper, Khalida Al-Harbi, Amro Khattab "Concurrent Interpretation of Pure LISP". Parallel and Distributed Systems and Networks 3(4): (2000).
• Mohammed Almulla, Weam Behbahani, and Hans Loeper, "The Integration of Practical Search and Heuristic Knowledge into a competitive Go-Playing Program", Kuwait Journal of Science and Engineering, 26(2): 199-215, (1999).
• Mohammed Almulla and Latif Hanna, "A Domain-independent System for Modeling Number Theory Using First-Order Predicate Logic", Kuwait Journal of Science and Engineering, 26(1): 29-48, (1999).
• Qingxun Yu, Mohammed Almulla, Monroe M. Newborn "Heuristics Used by HERBY for Semantic Tree Theorem Proving". Annals of Mathematics and Artificial Intelligence 23(3-4): 247-266 (1998).
• Mohammed Almulla and Monty Newborn, "The Practicality of Generating Semantic Trees for Proofs of Unsatisfiability", International Journal of Computer Mathematics, 62(1-2): 45-61, (1996).
• Brian Patrick, Mohammed Almulla, Monty Newborn: An Upper Bound on the Complexity of Iterative-deepening IDA*, Annals of Mathematics and Artificial Intelligence, 5: 265-278 (1992).

- Conferences

• Mohammed Almulla and Anas Nayfeh, "On the Power of Heuristics in Solving Large AI Problems", Submitted to the 2004 International Conference on Artificial Intelligence (IC-AI'04: June 21-24, 2004, Las Vegas, Nevada, USA).
• M. Almulla, H. Loeper, and F. Deeb, "On First Order Predicate Calculus in Procedural, Functional and Logical Programming", International IPSI-2004k Conference, Kopaonik, Serbia, April 1-4, 2004.
• Mohammed Almulla and Monty Newborn, "Restricting Moveds When Solving the NxP-puzzle", The 7th Joint Conference on Information Sciences (JCIS 03), September 26-30, Cary, North Carolina, USA, 2003.
• Mohammed Almulla, "Smart Schools: Putting e-Learning to Use", Proceedings of the Microcomputers in Education MEC2003 Conference , Arizona, March 17-19, 2003.
• Mohammed Almulla and Hans Loeper, "On the Effect of Using Automated Reasoning Programs in Discrete Mathematics", Proceedings of the 2nd International Conference on the Teaching of Mathematics at the Undergraduate Level, Hersonissos, Crete , Greece, July 1-6, 2002.
• Ahmed Almonayyes, Hazem Raffat and Mohammed Almulla, "A Learning Mechanism to Enhance the Time Efficiency of Proving Theorems", Proceedings of the ISCA 16th International Conference: Computers and Their Applications, Seattle, Washington USA, March 28-30, 2001.
• Mohammed Almulla, Mohamad Al-Haddad, and Hans Loeper, "A Pure Concurrent Object-Oriented Language based on Ada 95", Proceedings of the International Symposium on Software and Systems, University Mentouri of Constantine, Constantine, ALGERIA, February 24-26 2001.
• Tadeusz Szuba, Mohammed Almulla "Was Collective Intelligence before Life on Earth?" BioSP3 session during IPPS/SPDP’2000, Cancun, Mexico 1-5 May 2000.
• Mohammed Almulla, Tadeusz Szuba: Toward a Computational Model of Collective Intelligence and its IQ Measure. SAC’99 ACM. San Antonio, TX, USA February 28 – March 2. 1999.
• Qingxun Yu, Mohammed Almulla, Monroe Newborn, "Heuristics for a Semantics Tree Theorem Prover", Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics AI/MATH-96, Fort Lauderdale, Florida, January 3-5, 162-165, 1996.
• Mohammed Almulla, Attia. El-Sheikh "Practical Heuristics for Solving Problems for Serializable Subgoals", The Sixth International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, January 5-7, 2000.
• Mohammed Almulla, "Proving Unsatisfiability Using Canonical Semantic Trees", International Conference on Pure and Applied Mathematics, Bahrain, November 19-22, 1995.

 

• Soar research group
• Association for Automated Reasoning
• Laboratory of Natural and Simulated Cognition, McGill University, Director Thomas R. Shultz

- Awards

• Distictive Teaching Award in the Faculty of Science - Kuwait University 2001/2002.

- Participations

• Program Committee: The 8th World Multi-Conference on Systemics, Cybernetics and Informatics, July 18-21, 2004 - Orlando, Florida, USA.
• Program Committee: International Conference on Computing, Communications and Control Technologies: CCCT'04, August 14-17, 2004 - Austin, Texas, USA.
• Program Committee: IC-AI'04 - The 2004 International Conference on Artificial Intelligence.
• Program Committee: Informing Science + Information Technology Education Joint Conference Rockhampton Australia June 2004.
• Program Committee: I2TS'2002 - International Information Technology Symposium Florianopolis, SC, Brasil, October 01-05, 2002.
• Program Committee: ACS/IEEE International Conference on Computer Systems and Applications (AICSSA'03), Tunisia, July 14-18, 2003, Sponsored by the Arab Computer Society and the IEEE Computer Society.
• Program Committee: The 6th World Multiconferences on Systemics, Cybernetics, and Information, July 14-18, 2002 Orlando, Florida.
• Program Committee: I2TS'2002 - International Information Technology Symposium Florianopolis, October 01-05 2002 SC, Brasil.
• Program Committee: International Symposium on Software and Systems, February 24-26, 2001 Constantine, Algeria.
• Program Committee: The 5th World Multiconference on Systemics, Cybernetics, and Information, SCI2001, July 22-25, 2001 Orlando, Florida.
• Organizing Chair: The Tenth International Conference on Computing and Information November 18-21, 2000 Kuwait City Kuwait.
• Program Committee: The Fifth International Conference for Young Computer Scientists, August 17-19, 1999 Nanjing, China.
• Organizing Chair: Sixth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, July 19 - 24, 1998 Montreal, Canada.
• Entrant: The CADE-15 ATP System Competition held at The 15th International Conference on Automated Deduction, 7th July 1998  Lindau, Germany.