Thomas Caridroit

Diplômes et études

• 2016 : Doctorat en Informatique, Université d'Artois, Lens, France
  
• 2012 : Master Informatique - Systèmes Intelligents et Applications, Université d'Artois, Lens, France
  
• 2010 : Licence Mathématiques-Informatique, Mention Informatique, Université d'Artois, Lens, France
  
• 2008 : Certificat Informatique et Internet, Niveau 1, Université d'Artois, Lens, France
• 2006 : Baccalauréat Scientifique, Lycée Guy-Mollet, Arras, France

Expériences professionnelles

• depuis Septembre 2017 : Ingénieur de Recherche CNRS, affecté au CRIL, Université d'Artois
• Septembre 2015 à Août 2017 : Attaché Temporaire à l'Enseignement et à la Recherche (ATER) Institut Universitaire Technologique de Lens, Université d'Artois
• 2014 : Moniteur de l'enseignement supérieur Institut Universitaire Technologique de Lens, Université d'Artois
• 2013 : Moniteur de l'enseignement supérieur Faculté des sciences Jean Perrin, Université d'Artois
• Mars 2012 à Juillet 2012 : Stage de fin d'études effectué au sein du CRIL, CNRS UMR 8188, Lens, France
  « Contraction en logique propositionnelle », sous la direction de Sébastien Konieczny et Pierre Marquis
• Mars 2011 à Juillet 2011 : Stage de fin d'année effectué au sein de France Telecom DECI Villeneuve D'Ascq, France
  « Evolution d'une application locale dans un environnement PHP5 avec Web Service », sous la direction de Alain Szabo

Journal d'audience internationale

• Thomas Caridroit, Sébastien Konieczny, Pierre Marquis, « Contraction in propositional logic » dans International Journal of Approximate Reasoning 80, pp. 428-442, 2017 [pdf]

Conférences internationales avec publication des actes et comité de sélection

• Thomas Caridroit, Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail, « A SAT-based approach for solving the modal logic S5 satisfiability problem » dans 31th AAAI Conference on Artificial Intelligence (AAAI'17), 2017 [pdf]
• Thomas Caridroit, Tiago de Lima, Sébastien Konieczny, Pierre Marquis, « On Distances Between KD45n Kripke Models and their Use for Belief Revision » dans 22th European Conference on Artificial Intelligence (ECAI’16), pp. 1053-1061, 2016 [pdf]
• Thomas Caridroit, Sébastien Konieczny, Pierre Marquis, « Contraction in Propositional Logic » dans 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’15), pp. 186-196, 2015 [pdf]
• Thomas Caridroit, Tiago de Lima, Sébastien Konieczny, Pierre Marquis, « Private Expansion and Revision in Multi-agent Settings » dans 3th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’15), pp. 175-185, 2015 [pdf]
• Thomas Caridroit, Tiago de Lima, Sébastien Konieczny, Pierre Marquis, « Private Revision in Multi-Agent Setting » dans International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS’15), pp. 1677-1678, 2015 [pdf]

Conférences nationales avec publication des actes et comité de sélection

• Thomas Caridroit, Tiago de Lima, Sébastien Konieczny, Pierre Marquis, « Une approche basée sur SAT pour le problème de satisfiabilité en logique modale S5 » dans 13èmes Journées Francophones de Programmation par Contrainte (JFPC'17) 2017 [pdf]
• Thomas Caridroit, Tiago de Lima, Sébastien Konieczny, Pierre Marquis, « Sur les distances entre modèles de Kripke KD45n et leur utilisation pour la révision des croyances » dans 10èmes Journées d'Intelligence Artificielle Fondamentale (JIAF'16) 2016 [pdf]
• Thomas Caridroit, Tiago de Lima, Sébastien Konieczny, Pierre Marquis, « Expansion et révision privées dans KD45n » dans Journées d'Intelligence Artificielle Fondamentale (JIAF'14) 2014 [pdf]
• Thomas Caridroit, Sébastien Konieczny, Pierre Marquis, « Contraction en logique propositionnelle finie » dans Journées d'Intelligence Artificielle Fondamentale (JIAF'13), 2013 [pdf]

Mémoires

• Thèse : « Changement de croyances et logiques modales » [pdf] [slides]
• Master 2 : « Contraction en logique propositionnelle » [pdf] [slides]