Monsieur Adrien VARET / Docteur

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*

Coordonnées

adrien.varet.05@gmail.com

Adresse professionnelle

, ,

Expérience professionnelle

Emplois

Recherche : NON

Techniques maîtrisées

- 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...)

Doctorat

Titre : Informatique

1ère inscription en thèse : 1 septembre 2019 / 3A

Ecole doctorale : Mathématiques et Informatique de Marseille

Date de soutenance de thèse : 13 décembre 2022

Sujet : 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

Directeur de thèse : TERRIOUX CYRIL

Co-directeur : CARISSAN Yannick

Unité de recherche : LIS Laboratoire d'Informatique et Systèmes

Master

Titre : Informatique, mention BIEN

juillet 2019 - Aix-Marseille Université

Mention : BIEN

Production scientifique

  • 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

Langues

Anglais : B2 - Intermédiaire supérieur

Français : C2 - Maternel