Menu

Mohammed BEKKOUCHE

SOPHIA ANTIPOLIS

En résumé

Mes compétences :
Latex
Java
Eclipse
C
CPLEX Optimizer solver
C++
CPLEX CP Optimizer solver
MSUnCore2 MaxSAT solver
Software Engineering
Implementing algorithms
Z3 solver
OWL
Error localization
Benchmarking
CPBPV tool
Artificial intelligence
Research
SQL
BugAssist tool
Protégé
Experimental method
SPARQL DL
Bounded Model Checking
Combinatorial Algorithms
Heuristics
UML
SPARQL
Pellet OWL reasoner
Constraint Programming
Scientific Research
Debugging
Problem solving
Software Development
Testing
Teaching
Programming
Bug Tracking
Algorithms
Shell Scripting

Entreprises

  • ED STIC, University of Nice-Sophia Antipolis - Teaching (DCCE), in the third year of my PhD

    2014 - 2014 - 54 hours in general computer science.
    - 12 hours in Web Introduction.

  • ED STIC, University of Nice-Sophia Antipolis - Teaching (DCCE), in the second year of my PhD

    2013 - 2013 - 54 hours in general computer science.
    - 12 hours in Web Introduction.

  • I3S/CNRS - Phd Reseacher

    2012 - maintenant

  • ED STIC, University of Nice-Sophia Antipolis - Teaching (DCCE), in the first year of my PhD

    2012 - 2012 - 64 hours in general computer science.

  • Computer Engineer - Daïra of Sidi Lahcen, Wilaya Sidi Bel Abbes, Algeria

    2011 - 2012

  • Laboratory EEDIS, DjillaliLiabes University, Sidi Bel-Abbes, Algeria - Intern / Project Graduation Master

    2011 - 2011 Description: Given a set of components, and constraints, the configuration problem is to find a combination to assemble these components, in order to satisfy the specification of the user. When connectivity between components becomes complex, the configuration becomes quite difficult to find. Description Logics are formalisms for representing knowledge very flexible in terms of their adaptations with any domain, and very powerful in terms of their wealth of expressivity. The idea to solve the configuration problem is to exploit this formalism to classify and organize the components into a taxonomy. A broader solution is to solve the problem by using ontologies.

  • Laboratory EEDIS, DjillaliLiabes University, Sidi Bel-Abbes, Algeria - Intern / Project

    2009 - 2009 Topic: Design and implementation of a treatment tool on finite state automata.
    Objectives achieved during the project:
    1) We realized a graphical interface that allows the user to implement and graphically view the finite state automaton. We assist the user when entering the automaton by defining and using a mini-language, with a lexical analyzer, a syntax and a semantic;
    2) We implemented the algorithms provides the following different transformations:
    a) passing from a non-deterministic finite automaton to its equivalent deterministic, by eliminating: the epsilons transitions, transitions of languor greater than 1, the incompatible transitions;
    b) passing to the complementary automaton;
    c) construction of the minimal automaton;
    d) word recognition by the deterministic automaton;
    e) generating a regular expression accepted by the deterministic automaton;

Formations

  • EJCP 2013 (Http://Ejcp2013.Inria.Fr/)

    Rennes 2013 - 2013 Programming paradigms, specification and program verification, security

  • Univ. Nice Sophia Antipolis, CNRS, I3S, UMR 7271, 06900 Sophia Antipolis, France

    Nice-Sophia Antipolis 2012 - 2015 Doctor of Philosophy (Ph.D.)

    Topic: Exploring the potential of CSP for locating errors from counterexamples.
    Description: Our research addresses a critical problem in software engineering that is the location of errors in a erroneous program. Our goal is to provide a new approach constraint-based to software debu

  • Université Djillali Liabes, Sidi Bel Abbès

    Sidi Bel Abbes 2009 - 2011 Master's degree

    Some modules I studied throughout my Master formation: Computability, Complexity, tractability, Advanced engineering software, Design and analysis of algorithms, Combinatorial algorithms, Compilation advanced, Computational logic, High-performance parallel programming, Non-deterministic search methods (fuzzy logic and fuzzy inference systems, genetic algorithms, genetic programming,...

  • Université Djillali Liabes, Sidi Bel Abbès

    Sidi Bel Abbes 2006 - 2009 Bachelor's degree

    The key modules of my formation can be summarized as follows: Compilation, Software Engineering, Algorithms, Mathematical Analysis, Algebra, Operating System, Information System, Language Theory, Probability and Statistics, Mathematical Logic, Object-Oriented Programming.

Réseau

Annuaire des membres :