Coordonnées

Enseignement

Depuis la création du Master Informatique parcours Ingénierie Logiciel pour l'Internet, j'assure la majorité de mes enseignements en master, sur les thématiques du génie logiciel, de la programmation et conception orientée objet et la création d'applications d'entreprise en Java.

• Génie Logiciel 1 (Master 1) UML
• Génie Logiciel 2 (Master 1) TDD Patrons de conception Reconception Agilité
• Java pour l'internet (Master 2) Servlet JSP JSTL Struts2 JDBC

J'enseigne depuis la rentrée 2014 des enseignements en licence ou DUT :

• Initiation Réseau (Licence 1) TCP/IP Réseaux locaux
• Architecture Logicielle (DUT2) Patrons de conception Programmation évènementielle en Java (Swing) Travail collaboratif (git)
• Projet 2 (Licence 3) POO Tests fonctionnels Travail collaboratif (git)

Recherche

Je m'intéresse a la résolution automatique de problèmes de décision et d'optimisation en logique propositionnelle.

Mes travaux se situent dans le cadre de l'Intelligence Artificielle, et plus particulièrement autour des thèmes suivants: SAT MAXSAT Optimisation Pseudo-Booléenne QBF Raisonnement non monotone Logiques modales

Je m'intéresse aussi à l'utilisation des solveurs de contraintes dans le cadre du génie logiciel.

Doctorants/PhD students

• Anthony Blomme (2020-)
• Gökhan Tahil (2020-)
• Romain Wallon (2017-2020)
• Valentin Montmirail (2015-2018)
• Emmanuel Lonca (2011-2015)
• Florian Letombe (2002-2005)

Projets/Grants

• 2016/2020 ANR SAT As a Service (SATAS)
• 2016/2017 CSPSAT 3 (with Kobe University, Japan)
• 2012/2014 ANR Business Recommendation for Configurable Products - BR4CP
• 2011/2014 ANR TUPLES
• 2006/2007 PAI PESSOA MUSICA (with INESC)
• 2005 Action integree Luso Francaise de la CPU (PB05, with INESC)
• 2003 Action integree Luso Francaise de la CPU (OpenSAT, with INESC)
• 2003 Action Specifique STIC-CNRS (ASQBF, with LRI)

Comités/Committees

Menbre nommé

Conseil Scientifique d'Institut de l'INS2I (CSI INS2I)

Membre de comité éditorial/editorial board member

Journal on Satisfiability, Boolean Modeling and Computation (JSAT)

Advisory Commitee

Star Exec

Technology Council

OW2

Présentations invitées / Invited talks

• IoT week 2021
• From satisfaction to optimization, and beyond: SAT-based guided problem solving SAT+SMT 19
• From clauses to pseudo-Boolean constraints in a Boolean solver SAT+SMT 19
• SAT Oracles, for NP-Complete Problems and Beyond SLPC'19
• Solvers Evaluation with Olivier Roussel ACAI'15
• From Boolean Satisfaction To Boolean Optimization: Application To Dependency Management, Learning and Intelligent OptimizatioN Conference
• Introduction to SAT, Fourth SAT/SMT summer School, Semmering
• Solvers and tools to tackle problems in propositional logic Centre Fédéré en Vérification, Bruxelles
• Survey on integrating cutting planes in CDCL solvers @ BIRS workshop 14w5101
• SAT and friends: a single engine for many purposes @ KTH
• Integrating cutting planes in a modern SAT solver @ KTH
• Software dependency management: from p2 to p2cudf (LoCoCo 2011)
• SAT4J: pseudo-boolean optimization and dependency management problems (SAT/SMT summer school @ MIT 2011)
• A brief introduction to practical SAT solving: what can I expect from SAT today? (Workshop on SAT solving, Tuebingen)
• Lecture on SAT (part1, part2) (Summer School 2009: Verification Technology, Systems & Applications)
• Some Applications of SAT, SAT assessing the progress, Baltimore, 2008 (report)

Comités de programme/Program committees

Solver competitions

De 2002 à 2011, j'ai participé à tous les évènements compétitifs sur SAT, soit comme co-organisateur (2002-2005, 2007, 2009 et 2011) soit comme expert (2006, 2008 et 2010). Pour plus d'informations, voir le site de la compétition SAT.

Je maintiens un site web dédié au problème SAT appelé/I maintain a web site dedicated to SAT called SAT Live!.

Publications

Vous pouvez accéder à la liste complète de mes/You can take a look at all my publications

DBLP Google Scholar

Logiciels

Je m'attache à ce que mes travaux de recherche ou les projets de mes étudiants aboutissent sous la forme d'un logiciel, diffusé idéalement sous une licence libre afin d'en favoriser l'utilisation par des tiers.