تجاوز إلى المحتوى الرئيسي
User Image

Prof. Mohamed El Bachir Menai

Professor

Faculty

علوم الحاسب والمعلومات
Room 2174 - Building 31 (1st floor)
صفحة

Research

Research areas of interest
My current research mostly focuses on natural language processing and reasoning problems in Artificial Intelligence. These problems arise in many areas of computing science and its applications. Some of my work is focused on the propositional satisfiability problem (SAT) and its optimization variants (MaxSAT and PMSAT). I am interested in developing algorithms for these problems that can achieve better performance by taking advantage of domain-specific knowledge or structure. I have conducted a range of research on solving these problems using stochastic local search algorithms and metaheuristics.

I am interested in many other areas, including:

  • Machine learning applications
  • AI in medicine

Professional memberships and activities

  • Member of the Association for the Advancement of Artificial Intelligence (AAAI)
  • Member of the Association for Computing Machinery (ACM)
  • Member of IEEE Computational Intelligence Society
  • Member of the International Society of Applied Intelligence (ISAI)
  • Program committee member, 31st International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA-AIE 2018), June 25-28, 2018, Montreal, Canada.
  • Program committee member, 2nd Mediterranean Conference on Pattern Recognition and Artificial Intelligence (MedPRAI'18), March 27-28, 2018, Rabat, Morocco.
  • Program Committee Member of the 8th IEEE Workshop Parallel / Distributed Computing and Optimization (PDCO 2018), held in conjunction with the 32nd IEEE/ACM International Parallel and Distributed Processing Symposium (IPDPS'2018), May 21-25, 2018, Vancouver, British Columbia, Canada.
  • Program committee member, 6th IFIP International Conference on Computer Science and Its Applications (IFIP CIIA’2018), May 6-8, 2018, USTO-MB Oran University, Oran, Algeria.
  • Program committee member, 30th Canadian Conference on Artificial Intelligence (Canadian AI 2017), May 16-19, 2017, Edmonton, Alberta, Canada.
  • Program Committee Member of the 7th IEEE Workshop Parallel / Distributed Computing and Optimization (PDCO 2017), held in conjunction with the 31st IEEE/ACM International Parallel and Distributed Processing Symposium (IPDPS'2017), May 29-June 2, 2017, Orlando, Florida, USA.
  • Program Committee Member of the 19th International Workshop on Nature Inspired Distributed Computing (NIDISC'16), held in conjunction with the 30th IEEE/ACM International Parallel and Distributed Processing Symposium (IPDPS'2016), May 23-27, 2016, Chicago, Illinois, USA.
  • Program committee member, 2nd international conference on Intelligent Information Processing, Security and Advanced Communication (IPAC'2016), Dec. 5-6, 2016, Prague, Czech Republic.
  • Program committee member, 1st Mediterranean Conference on Pattern Recognition and Artificial Intelligence (MedPRAI'16), Nov. 22-23, 2016, Tebessa, Algeria.
  • Program committee member, 2nd International Conference on Pattern Analysis and Intelligent Systems (PAIS 2016), Nov. 25-26, 2016, Khenchela, Algeria.
  • Program committee member, 1st International Conference on Pattern Analysis and Intelligent Systems (PAIS 2015), Oct. 26-27, 2015, Tebessa, Algeria.
  • Program committee member, 5th IFIP International Conference on Computer Science and Its Applications (IFIP CIIA’2015), May 20-21, 2015, Saida, Algeria.
  • Program Committee Member of the 18th International Workshop on Nature Inspired Distributed Computing (NIDISC'15), held in conjunction with the 29th IEEE/ACM International Parallel and Distributed Processing Symposium (IPDPS'2015), May 25-29, 2015, Hyderabad, India.
  • Program Committee Member of the International Symposium on Bio-Inspired Computing (BioCom’14), Sep. 24-27, 2014, Delhi, India.
  • Program Committee Member of the 17th International Workshop on Nature Inspired Distributed Computing (NIDISC'13), held in conjunction with the 28th IEEE/ACM International Parallel and Distributed Processing Symposium (IPDPS'2014), May 19-23, 2014, Phoenix, AZ, USA.
  • Program Committee Member of the 4th International Conference on Information Systems and Technologies (ICIST 2014), March 22-24, 2014, Valencia, Spain.
  • Program Committee Member of the 3rd International Conference on Medical Information and Bioengineering (ICMIB 2014), March 10-11, 2014, Penang, Malaysia.
  • Program Committee Member of the 4th International Conference on Computer Science and its Applications (CIIA'2013), May 4-6, 2013, Saida, Algeria.
  • Program Committee Member of the 3rd International Conference on Information Systems and Technologies (ICIST'2013), March 22-24, 2013, Tangier, Morocco.
  • Program Committee Member of 16th International Workshop on Nature Inspired Distributed Computing (NIDISC'13), held in conjunction with the 27th IEEE/ACM International Parallel and Distributed Processing Symposium (IPDPS'2013), May 20-24, 2013, Boston, MA, USA.
  • Program Committee Member of the International Conference on Metaheuristics and Nature Inspired Computing (META'12), October 27-30, 2012, Sousse, Tunisia.
  • Program Committee Member of the 2nd International Conference on Information Systems and Technologies (ICIST'2012), March 24-26, 2012, Sousse, Tunisia.
  • Program Committee Member of the First International Conference on Information Systems and Technologies (ICIST'2011), April 24-26, 2011, Tébessa, Algeria.
  • Program Committee Member of the Journées Scientifiques sur l’Informatique et ses Applications (JIG'2009), March 9-10, 2009, Guelma, Algeria.
  • Program Chair of the Journées Scientifiques sur l’Informatique et ses Applications (JIG'2006), Tébessa (Algeria), November 2006, in collaboration with the Research Institute in Computer Science of  Toulouse (IRIT), France.

Reviewer for 

  • Revue d'Intelligence Artificielle (Lavoisier)
  • European Journal of Operational Research (Elsevier)
  • Neural Computing & Applications (Springer)
  • BioSystems Journal (Elsevier)
  • Journal of the American Society for Information Science and Technology (JASIST)
  • Journal of King Saud University- CCIS (Elsevier)
  • Arabian Journal for Science and Engineering (Springer)
  • The International Arab Journal of Information Technology
  • Computer&Operations Research (Elsevier)
  • Neurocomputing (Elsevier)
  • Language Resources and Evaluation (Springer)
  • Computational Intelligence (Wiley)
  • IEEE Transactions on Cybernetics (IEEE)
  • Information Processing & Management (Elsevier)
  • Applied Soft Computing (Elsevier)
  • Artificial Intelligence Review (Springer)
  • Artificial Intelligence in Medicine (Elsevier)