Monsieur Adrien VARET / PhD

enseignant-chercheur, enseignant du supérieur*chercheur en entreprise, R&D du secteur privé*pilotage de la recherche et de l'innovation, gestion de projets innovants, pilotage de structures innovantes*entrepreneur des domaines innovants*

Contact details

adrien.varet.05@gmail.com

Professional contact details

, ,

Professional experience

Jobs

Research : NON

Techniques

- Intelligence artificielle (Programmation par contraintes, deep learning, représentation de connaissances) - Théorie algorithmique des graphes - Théorie de la complexité - Mathématiques discrètes (cryptographie, automates cellulaires, etc...) - Programmation (C/C++, Java, Haskell, Python, technologies web, etc...)

PhD

Title : Informatique

First registration date : 1 September 2019 / 3A

Doctoral school : Mathématiques et Informatique de Marseille

Thesis defense date : 13 December 2022

Subject : Programmation par contraintes et chimie théorique : utilisation du formalisme CSP pour résoudre des problématiques liées aux benzénoïdes Liées aux Benzénoïdes

Thesis supervisor : TERRIOUX CYRIL

Thesis co-supervisor : CARISSAN Yannick

Research unit : LIS Laboratoire d'Informatique et Systèmes

Master's degree

Title : Informatique, mention BIEN

July 2019 - Aix-Marseille Université

Mention : BIEN

Publications

  • BenzAI: A Program to Design Benzenoids with Defined Properties Using Constraint Programming
    Journal of Chemical Information and Modelling (JCIM), 2022
    Yannick CARISSAN, Denis HAGEBAUM-REGNIER, Nicolas PRCOVIC, Cyril TERRIOUX, Adrien VARET
    https://pubs.acs.org/doi/10.1021/acs.jcim.2c00353
  • How Constraint Programming Can Help Chemists to Generate Benzenoid Structures and Assess the Local Aromaticity of Benzenoids
    Constraints, 2022
    Yannick CARISSAN, Denis HAGEBAUM-REGNIER, Cyril TERRIOUX, Nicolas PRCOVIC, Adrien VARET
    https://link.springer.com/article/10.1007/s10601-022-09328-x
  • Exhaustive Generation of Benzenoid Structures Sharing Common Patterns
    CP2021, 2021
    Yannick CARISSAN, Denis HAGEBAUM-REIGNIER, Nicolas PRCOVIC, Cyril TERRIOUX, Adrien VARET

  • Utiliser la PPC pour générer des structures de benzénoïdes en chimie théorique
    JFPC, 2021
    Yannick CARISSAN, Denis HAGEBAUM-REIGNIER, Nicolas PRCOVIC, Cyril TERRIOUX, Adrien VARET

  • Utiliser la PPC pour générer des structures de benzénoïdes en chimie théorique
    JFPC2021, 2021
    Yannick CARISSAN, Denis HAGEBAUM-REIGNIER, Nicolas PRCOVIC, Cyril TERRIOUX, Adrien VARET

  • Computing the Local Aromaticity of Benzenoids Thanks to Constraint Programming
    CP 2020, 2020
    Yannick CARISSAN, Chisom-Adaobi Dim, Denis HAGEBAUM-REGNIER, Nicolas PRCOVIC, Cyril TERRIOUX, Adrien VARET

  • Using Constraint Programming to Generate Benzenoid Structures in Theoretical Chemistry
    CP 2020, 2020
    Yannick CARISSAN, Denis HAGEBAUM-REGNIER, Nicolas PRCOVIC, Cyril TERRIOUX, Adrien VARET

  • Another Way to Browse the Search Space For Some Transformations from CSP to SAT.
    ISAIM, 2019
    Richard OSTROWSKI, Lionel PARIS, Adrien VARET

Languages

Anglais : B2 - Intermédiaire supérieur

Français : C2 - Maternel