ma photo

Welcome to my homepage

Email: jerry (dot) lonlac (at) imt-lille-douai (dot) fr
lonlac (dot) jerry (at) gmail (dot) fr

 

Hello!


I am currently post-doctoral researcher in the Research Center at IMT Lille Douai, University of Lille, Department of Computer Science and Automation (AI). I'm currently working on the E-logistic project.

  • 2018 - 2019 : Post-doctoral Researcher, Post-doctoral Researcher, CRIL CNRS UMR 8188
  • 2015 - 2017 : Post-doctoral Researcher, LIMOS CNRS UMR 6158
  • 2014 - 2015 : ATER (Attaché Temporaire d'Enseignement et de Recherche), CRIL, IUT de Lens
  • 2012 - 2014 : ATER, CRIL, faculty of science, University of Artois, Lens

I defended my Ph.D. dissertation in November 2014 at the University of Artois, CRIL Lab, under the supervision of Lakhdar SAIS, Saïd JABBOUR and Clémentin TAYOU. During my PhD, I worked mainly on the Satifiability problem (SAT). More precisely focusing on the CDCL SAT Solver. (A pdf version of the thesis is available here).

Back to top

Research Area


  • Data Mining
  • Boolean Satisfiability (SAT)
  • Machine Learning
  • Parallel SAT
  • Cloud computing
  • Resolution of NP-Hard problems

Back to top

    Pre-Prints and Submitted Works


  1. Jerry Lonlac, Arnaud Doniec, Marin Lujak, Stephane Lecoeuche . Mining Frequent Seasonal Gradual Patterns.
  2. Jerry Lonlac, Engelbert Mephu Nguifo. Top-k Learned Clauses for Modern SAT Solvers.

Publications



    International journals


  1. Jerry Lonlac, Engelbert Mephu Nguifo . A novel algorithm for searching Frequent Gradual Patterns from an Ordered Data Set. Intelligent Data Analysis (IDA), 2019 (to appear) .

  2. Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs and Yakoub Salhi . Revisiting the Learned Clauses Database Reduction Strategies. International Journal on Artificial Intelligence Tools (IJAIT) 27(8): 1850033 (2018).

    3. National journals


  3. Jerry Lonlac, Yannick Miras, Aude Beauger, Marie Pailloux, Jean-Luc Peiry, Engelbert Mephu Nguifo . Une Approche d'Extraction de Motifs Graduels (Fermés) Fréquents Sous Contrainte de la Temporalité. Revue des Nouvelles Technologies de l'Information, vol. RNTI-E-33, pp.213-224, 2018.

  4. Jerry Lonlac, Benjamin Négrevergne, Yannick Miras, Aude Beauger, Engelbert Mephu Nguifo . Fouille de Motifs Graduels Fermés Fréquents Sous Contrainte de la Temporalité. Revue des Nouvelles Technologies de l'Information, vol. RNTI-E-34, pp.383-384, 2017.

  5. Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs and Clémentin Tayou Djamegni . Résolution Etendue par Substitution Dynamique des Fonctions Booléennes. Dans Revue d'Intelligence Artificielle (RSTI- RIA), 2014.

    6. International Conferences


  6. Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs . Mining Gradual Itemsets Using Sequential Pattern Mining. FUZZ-IEEE 2019.

  7. Jerry Lonlac, Yannick Miras, Aude Beauger, Vincent Mazenod, Jean-Luc Peiry, Engelbert Mephu Nguifo. An Approach for Extracting Frequent (Closed) Gradual Patterns Under Temporal Constraint. FUZZ-IEEE 2018 .

  8. Long Guo, Saïd Jabbour, Jerry Lonlac and Lakhdar Saïs. Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving. ICTAI 2014.

  9. Long Guo, Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs . A Portfolio Based Parallel SAT Solver with Multiple Deletion Strategies. ParSearchOpt 2014.

  10. Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs and Yakoub Salhi . Extending Modern SAT Solvers for Models Enumeration. IRI 2014 .

  11. Saïd Jabbour and Jerry Lonlac and Lakhdar Saïs. Adding New Bi-Asserting Clauses for Faster Search in Modern SAT Solvers. SARA 2013.

  12. Saïd Jabbour, Jerry Lonlac and Lakhdar Saïs. Intensification search in modern SAT solvers. SAT 2012.

  13. Saïd Jabbour, Jerry Lonlac and Lakhdar Saïs . Extending Resolution by Dynamic Substitution of Boolean Functions. ICTAI 2012.

    14. National Conferences


  14. Jerry Lonlac, Benjamin Negrevergne, Yannick Miras, Aude Beauger and Engelbert Mephu Nguifo . Mining Frequent Closed Gradual Patterns Under Temporal Constraint. EGC 2018.

  15. Jerry Lonlac and Engelbert Mephu Nguifo . Apprentissage de Top-k clauses par dominance pour les Solveurs SAT Modernes. JFPC 2018.

  16. Jerry Lonlac, Yannick Miras, Aude Beauger, Marie Païlloux, Jean-Luc Peiry and Engelbert Mephu Nguifo . Une Approche d'Extraction de Motifs Graduels (Fermés) Fréquents Sous Contrainte de la Temporalité. EGC 2017 .

  17. Jerry Lonlac and Engelbert Mephu Nguifo . Vers une stratégie de réduction de la base de clauses apprises fondée sur la relation de dominance. JFPC 2017.

  18. Said Jabbour, Jerry Lonlac and Lakhdar Saïs . Nouvelles Clauses Bi-Assertives et leurs Intégration dans les Solveurs SAT Modernes. JFPC 2014.

  19. Said Jabbour, Jerry Lonlac, Lakhdar Saïs and Yakoub Salhi . Autours des Stratégies de Réduction de la Base de Clauses Apprises. JFPC 2014.

  20. Said Jabbour, Jerry Lonlac and Lakhdar Saïs . Résolution Etendue par Substitution Dynamique des Fonctions Booléennes. JFPC 2012.

  21. Said Jabbour, Jerry Lonlac and Lakhdar Saïs . Intensification de la Recherche dans les Solveurs SAT Modernes. JFPC 2012.

Read More

Back to top


Teaching Activities


2009 - 2010

  • Analyse et Conception des Systèmes d'Informations
  • Développement web
  • Logique
  • Bases de données
  • Algorithmique et Programmation en langage C
  • Compilation

2010 - 2012

  • Développement web
  • Algorithmique et Programmation en langage C
  • Bases de données
  • Logique

2012 - 2013

  • Compilation
  • Langage XML
  • Programmation en python
  • Bases de données (SGBD Mysql, Postgresql)

2015 - 2017

  • Apprentissage artificiel
  • Technologie du décisionel
  • Génie logiciel
  • Bases de données et système d'informations (oracle)
  • Programmation java (Androïde sous Eclipse)

2017 - 2018

  • Algorithme et programmation en C++
  • Conception orientée objet (Java)
  • Circuits logiques

2018 - 2019

  • Fouille de données et Apprentissage automatique

Back to top